A Requirements-Driven Methodology: Formal Modelling and Verification of an Aircraft Engine Controller.

Oisn Sheridan, Rosemary Monahan, Matt Luckcuck

Browse the full IFM paper archive.