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.)
Publisher: Piscataway: IEEE Copyrights Manager, 2010
ISBN: 9780769539904
Year of publication: 2010
Pages: 489-497
Type: Book chapter