Towards a testing methodology for reactive systems: a case study of a landing gear controller
- Madani, Laya
- Parissis, Ioannis
- Papailiopoulou, Virginia
- Gaudel, Marie-Claude (coord.)
Verlag: Piscataway: IEEE Copyrights Manager, 2010
ISBN: 9780769539904
Datum der Publikation: 2010
Seiten: 489-497
Art: Buch-Kapitel