245 followers
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. - William Durand, Sébastien… http://t.co/baeFajh4KM
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. - William Durand, Sébastien… http://t.co/baeFajh4KM