Thomas Fayolle

发表

A Data-thrifty Approach to Routing Optimization

Thomas Fayolle, Renaud De Landtsheer, Gustavo Ospina, 2021, ICORES.

Combinaison de méthodes formelles pour la spécification de systèmes industriels. (Coupling of formal methods for industriel systems specification)

Thomas Fayolle, Thomas Fayolle, 2017 .

Formal refinement of extended state machines

Marc Frappier, Régine Laleau, Frédéric Gervais, 2016, Refine@FM.