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.)
Argitaletxea: Piscataway: IEEE Copyrights Manager, 2010
ISBN: 9780769539904
Argitalpen urtea: 2010
Orrialdeak: 489-497
Mota: Liburuko kapitulua