Pierre Virelizier Vis

*	2009
1	EE	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]