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

View Github Repository Open presentation in a new window

willdurand-slides

See all presentation from willdurand-slides

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

0 1

debs2015

[PhD] DEBS 2015

On Github willdurand-slides / debs2015

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