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

Laya Madani Virginia Papailiopoulou Ioannis Parissis

Published in: ICST (2010)

Keyphrases

reactive systems
control system
real time
case study
petri net
temporal logic
control flow
artificial intelligence
data mining
source code
model checking
formal methods
web services
machine learning
fault diagnosis
control method
software testing
database