PARISSIS:2010:HAL-00549886:1

Ioannis Parissis, Laya Madani, Virginia Papailiopoulou. Towards a testing methodology for reactive systems: a case study of a landing gear controller. In Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010), Pages 489-497, Paris, France, 2010.

Download

Download paper: (link)

Copyright notice:

Contact

Ioannis Parissis
Laya Madani
Virginia Papailiopoulou

BibTex Reference

@InProceedings{PARISSIS:2010:HAL-00549886:1,
   Author = {Parissis, Ioannis and Madani, Laya and Papailiopoulou, Virginia},
   Title = {Towards a testing methodology for reactive systems: a case study of a landing gear controller},
   BookTitle = {Proceedings of the 3th International Conference on Software Testing and Verification (ICST 2010)},
   Pages = {489--497},
   Address = {Paris, France},
   Month = {},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)