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
_version_ 1783537173905014784
author Houdek, Frank
Raschke, Alexander
author_facet Houdek, Frank
Raschke, Alexander
author_sort Houdek, Frank
collection PubMed
description 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.
format Online
Article
Text
id pubmed-7242064
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420642020-05-22 Adaptive Exterior Light and Speed Control System Houdek, Frank Raschke, Alexander Rigorous State-Based Methods Article 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. 2020-04-22 /pmc/articles/PMC7242064/ http://dx.doi.org/10.1007/978-3-030-48077-6_24 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Houdek, Frank
Raschke, Alexander
Adaptive Exterior Light and Speed Control System
title Adaptive Exterior Light and Speed Control System
title_full Adaptive Exterior Light and Speed Control System
title_fullStr Adaptive Exterior Light and Speed Control System
title_full_unstemmed Adaptive Exterior Light and Speed Control System
title_short Adaptive Exterior Light and Speed Control System
title_sort adaptive exterior light and speed control system
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242064/
http://dx.doi.org/10.1007/978-3-030-48077-6_24
work_keys_str_mv AT houdekfrank adaptiveexteriorlightandspeedcontrolsystem
AT raschkealexander adaptiveexteriorlightandspeedcontrolsystem

Ejemplares similares