1/1
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Autor/Editor: Lecomte, Thierry - Pinger, Ralf - Romanovsky, Alexander
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Logics and Meanings of Programs - Computer Communication Networks - Systems and Data Security - Mathematical Logic and Formal Languages - Artificial Intelligence (incl. Robotics)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9707
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-33951-1
ISSN-e: 1611-3349