A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements

IRT Railenium (http://railenium.eu/fr/) is a test and applied research center for the rail industry in France. One of its three R&D and innovation programs aims in particular to provide the technological tools and bricks necessary for the development of the Autonomous Train.

Detalles Bibliográficos
Autor principal: Bougacha, Racem
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242043/
http://dx.doi.org/10.1007/978-3-030-48077-6_33
_version_ 1783537168924278784
author Bougacha, Racem
author_facet Bougacha, Racem
author_sort Bougacha, Racem
collection PubMed
description IRT Railenium (http://railenium.eu/fr/) is a test and applied research center for the rail industry in France. One of its three R&D and innovation programs aims in particular to provide the technological tools and bricks necessary for the development of the Autonomous Train.
format Online
Article
Text
id pubmed-7242043
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-72420432020-05-22 A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements Bougacha, Racem Rigorous State-Based Methods Article IRT Railenium (http://railenium.eu/fr/) is a test and applied research center for the rail industry in France. One of its three R&D and innovation programs aims in particular to provide the technological tools and bricks necessary for the development of the Autonomous Train. 2020-04-22 /pmc/articles/PMC7242043/ http://dx.doi.org/10.1007/978-3-030-48077-6_33 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
Bougacha, Racem
A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
title A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
title_full A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
title_fullStr A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
title_full_unstemmed A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
title_short A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements
title_sort formal approach for the modeling of high-level architectures aligned with system requirements
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242043/
http://dx.doi.org/10.1007/978-3-030-48077-6_33
work_keys_str_mv AT bougacharacem aformalapproachforthemodelingofhighlevelarchitecturesalignedwithsystemrequirements
AT bougacharacem formalapproachforthemodelingofhighlevelarchitecturesalignedwithsystemrequirements

Ejemplares similares