Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study.

Dominique Mry, Rushikesh Sawant, Anton Tarasyuk

Browse the full MEDI paper archive.