Holistic Study of Formal Methods and Standardization in Specification, Development, Verification and Validation of Railway Signalling System Software

Autor:	Borälv, Arne, Berglehner, Randolf, Cherif, Ibtihel, Fredholm, Daniel, Hansen, Dominik, Magro, Javier, Mejia, Luis-Fernando, Mentré, David, Rasheeq, Abdul, Schwencke, Daniel, Werner, Thomas
Jazyk:	angličtina
Rok vydání:	2022
Předmět:	formal development Formal method test case generation semi-formal method formal verification
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1640::e8b32ee37ea23cb77f30d64a2974ae4f https://elib.dlr.de/186162/ Zobrazit plný text záznamu