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

Sébastien Salva William Durand

Published in: DEBS (2015)

Keyphrases

production system
formal models
lightweight
main contribution
multistage
multiprocessor architecture
decision making
formal model
computational framework
production process