Modeling and Analyzing Using ASMs: The Landing Gear System Case Study (2014)

by P Arcaini, A Gargantini, E Riccobene
Venue:ABZ 2014: The Landing Gear Case Study, volume 433 of Communications in Computer and Information Science