Testing Avionics Software: Is FMI up to the Task?

Jrg Brauer, Oliver Mller, Jan Peleska

Browse the full ISoLA paper archive.