Modeling an Aircraft Landing System in Event-B (2014)

by D Méry, N K Singh
Venue:ABZ 2014: The Landing Gear Case Study, volume 433 of Communications in Computer and Information Science