ABZ 2014 : The Landing Gear Case Study

Name: ABZ 2014 : The Landing Gear Case Study
Author: Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe

Cover of ABZ 2014 : The Landing Gear Case Study

No description available.

Computer scienceMachine theoryLogic designComputer simulationLogics and Meanings of ProgramsMathematical Logic and Formal LanguagesComputation by Abstract DevicesSimulation and Modeling