Towards a testing methodology for reactive systems: a case study of a landing gear controller

  1. Madani, Laya
  2. Parissis, Ioannis
  3. Papailiopoulou, Virginia
Libro:
Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France
  1. Gaudel, Marie-Claude (coord.)

Editorial: Piscataway: IEEE Copyrights Manager, 2010

ISBN: 9780769539904

Año de publicación: 2010

Páginas: 489-497

Tipo: Capítulo de Libro