Model inference ; STS ; expert system ; production system ; event-driven system

Autofunk, a fast and scalable framework for building formal models from production systems
Sébastien Salva, William Durand
PDF Cite DOI