Pierre Michel

	2003
3		Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003)
	2001
2		Odile Laurent, Pierre Michel, Virginie Wiels: Using Formal Verification Techniques to Reduce Simulation and Test Effort. FME 2001: 465-477
	1997
1		Pierre Michel, Virginie Wiels: A Framework for Modular Formal Specification and Verification. FME 1997: 533-552

Coauthor Index

1	J. L. Bernartt	[3]
2	Bernard Berthomieu	[3]
3	Jean-Paul Bodeveix	[3]
4	Pierre Dissaux	[3]
5	Patrick Farail	[3]
6	Jean-Marie Farines	[3]
7	Mamoun Filali	[3]
8	Pierre Gauffilet	[3]
9	Jean-Luc Lambert	[3]
10	Odile Laurent	[2]
11	Gérard Padiou	[3]
12	Pierre-Olivier Ribet	[3]
13	François Vernadat	[3]
14	Virginie Wiels	[1] [2]

Colors in the list of coauthors