Autofunk: an Inference-Based Formal Model Generation
Framework for [Michelin] Production Systems.

William Durand, S├ębastien Salva — June 25, 2015 / FM'15

In Depth Autofunk