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

Sébastien Salva, William Durand — July 1st, 2015 / DEBS'15

In Depth Autofunk