Results 1 -
1 of
1
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 |
