Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges.

Jan Peleska, Jrg Brauer, Wen-ling Huang

Browse the full ISoLA paper archive.