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

Autor:	Racem Bougacha
Rok vydání:	2020
Předmět:	System requirements Computer science Systems engineering Applied research Center (algebra and category theory) Test (assessment)
Zdroj:	Rigorous State-Based Methods ISBN: 9783030480769 ABZ
DOI:	10.1007/978-3-030-48077-6_33
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3549d6ddd5cc012baba2320eb1a4b590 https://doi.org/10.1007/978-3-030-48077-6_33 Zobrazit plný text záznamu