Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications

Autor:	Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart-Dutilleul, Rahma Ben Ayed
Rok vydání:	2023
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031311079
DOI:	10.1007/978-3-031-31108-6_12
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f0062dc25e90a52c8b44419ac61b7778 https://doi.org/10.1007/978-3-031-31108-6_12 Zobrazit plný text záznamu