P. Michel

发表

Using Formal Veriication Techniques to Reduce Simulation and Test Eeort

P. Michel, V. Wiels, 2007 .

Modular Speciication and Structural Validation for a Distributed Architecture

P. Michel, Patrice Cros, 2002 .

Architecture Description Languages: IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, ... Federation for Information Processing)

Pierre Michel, François Vernadat, Pierre Dissaux, 2005 .

The TOPCASED project : a toolkit in open source for critical aeronautic systems design

Xavier Crégut, Marc Pantel, Pierre Michel, 2006 .

Towards the verification of real-time systems in avionics: the Cotre approach

Mamoun Filali, Gérard Padiou, Jean-Paul Bodeveix, 2003, FMICS.