Title: ABZ 2014 : The Landing Gear Case Study
Subjects: Computer science, Machine theory, Logic design, Computer simulation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Simulation and Modeling