Autor:	Philippe Bon, Sébastien Martinez, Matthieu Perin, Dalay Israel de Almeida Pereira, Simon Collart Dutilleul
Rok vydání:	2020
Předmět:	business.industry Computer science Automotive Engineering Computer based Transportation Software engineering business Formal methods Interlocking Civil and Structural Engineering
Zdroj:	International Journal of Transport Development and Integration. 4:218-229
ISSN:	2058-8313 2058-8305
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a9fc01fdd82ff5d4b44ba56f516c5004 https://doi.org/10.2495/tdi-v4-n3-218-229 Zobrazit plný text záznamu