Adaptive Exterior Light and Speed Control System

This case study continues the successful series of case studies for formal specification and verification of the ABZ conference series, which started with the landing gear system [1] and expanded with the hemodialysis medical device [4] and the European Train Control System (ETCS) [2] in the followi...

Descripción completa

Detalles Bibliográficos
Autores principales: Houdek, Frank, Raschke, Alexander
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242064/
http://dx.doi.org/10.1007/978-3-030-48077-6_24
Descripción
Sumario:This case study continues the successful series of case studies for formal specification and verification of the ABZ conference series, which started with the landing gear system [1] and expanded with the hemodialysis medical device [4] and the European Train Control System (ETCS) [2] in the following years.

Ejemplares similares