Model-Based Testing for the Second Generation of Integrated Modular Avionics.

Christof Efkemann, Jan Peleska

Browse the full ICST paper archive.