Pierre Virelizier

	2009
1		Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels: Model checking flight control systems: The Airbus experience. ICSE Companion 2009: 18-27

Coauthor Index

1	Thomas Bochot	[1]
2	Hélène Waeselynck	[1]
3	Virginie Wiels	[1]