ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and ... Computer and Information Science, Band 433)
Ein praxisorientiertes Buch über Flugzeugantriebssysteme, das Fallstudien aus der vierten internationalen Konferenz zu abstrakten Zustandsmaschinen v ...