![](/img/cover-not-exists.png)
[ACM Press the 9th ACM International Conference - Oslo, Norway (2015.06.29-2015.07.03)] Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15 - Autofunk, a fast and scalable framework for building formal models from production systems
Salva, Sébastien, Durand, WilliamYear:
2015
Language:
english
DOI:
10.1145/2675743.2771876
File:
PDF, 916 KB
english, 2015