ABZ 2014 : The Landing Gear Case Studyde Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter ScheweMateriasComputer scienceMachine theoryLogic designComputer simulationLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesComputation by Abstract Devices
