Model-Based Testing for Avionics Systems.

Jrg Brauer, Uwe Schulze

Browse the full FM paper archive.