1/1
ABZ 2014: The Landing Gear Case Study
Autor/Editor: Boniol, Frédéric - Wiels, Virginie - Ait Ameur, Yamine - Schewe, Klaus-Dieter
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Simulation and Modeling - Computation by Abstract Devices - Mathematical Logic and Formal Languages - Logics and Meanings of Programs
Título de la Serie: Communications in Computer and Information Science
Vol.No.: 433
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-319-07512-9
ISSN-e: 1865-0937