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

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

Verlag: Piscataway: IEEE Copyrights Manager, 2010

ISBN: 9780769539904

Datum der Publikation: 2010

Seiten: 489-497

Art: Buch-Kapitel

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet