Publikationen, an denen er mitarbeitet Laya Madani (1)

2010

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

    Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France (Piscataway: IEEE Copyrights Manager, 2010), pp. 489-497