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.