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

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

Publisher: Piscataway: IEEE Copyrights Manager, 2010

ISBN: 9780769539904

Year of publication: 2010

Pages: 489-497

Type: Book chapter

DIALNET GOOGLE SCHOLAR
Data source: Dialnet