Autofunk, a fast and scalable framework for building formal models from production systems

sébastien Salva, William Durand
July, 2015
PDF Cite DOI
Type
1
Publication
9th ACM International Conference on Distributed Event-Based Systems, DEBS
Model inference ; STS ; expert system ; production system ; event-driven system