An Approach to Improve SysML Railway Specification Using UML-B And EVENT-B

Autor:	Berglehner, Randolf, Rasheeq, Abdul
Jazyk:	angličtina
Rok vydání:	2019
DOI:	10.13140/rg.2.2.21925.45288
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0d78dac386790e5f4b192ad1010bdd70 Zobrazit plný text záznamu