Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller.

Laya Madani, Virginia Papailiopoulou, Ioannis Parissis

Browse the full ICST paper archive.