Publications de
Eric Feron, Guillaume Brat, Pierre-Loïc Garoche, Pete Manolios, Marc Pantel
Formal methods for aerospace applications (short paper)
Dans : Formal Methods for Computer Assisted Design (FMCAD 2012), Cambridge, 22/10/12-25/10/12 (conférencier invité), IEEE : Institute of Electrical and Electronics Engineers, p. 3-3, octobre 2012.
Timothy Wang, Arnaud Dieumegard, Eric Feron, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche
Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)
Dans : Safe and Secure Systems and Software Symposium (S5 2012), Fairborn, Ohio, USA, 12/06/12-14/06/12, UNKNOWN, p. 0-0, 2012.