The SafeCap Platform for Modelling Railway Safety and Capacity
An Algorithm for Airborne Conflict Detection Based on Support Vector Machine
NURBS skinning surface for ship hull design based on new parameterization method
Experimental Analysis of Attacks on Next Generation Air Traffic Communication
The Comparative Semantics of the Term Irteqab (Revelation) in Sunni and Shi’ite Exegesis
Contrasting Accuracies of Regions’ Statistical Data with B-F Problem
Modeling an Aircraft Landing System in Event-B
Modeling a Landing Gear System in Event-B
The Landing Gear System Case Study
Landing Gear System: An ASM-Based Solution for the ABZ Case Study
Context-Aware Verification of a Landing Gear System
The Landing Gear Case Study in Hybrid Event-B
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre