A requirements modelling language to facilitate avionics software verification and certification.

Andrs Paz, Ghizlane El-Boussaidi

Browse the full ICSE paper archive.