VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

Язык оригинала	английский
Название основной публикации	VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
Издатель	Springer
Страницы	351-363
Число страниц	13
ISBN (электронное издание)	978-3-030-29852-4
ISBN (печатное издание)	978-3-030-29851-7
DOI	https://doi.org/10.1007/978-3-030-29852-4_30
Состояние	Опубликовано - 8 окт. 2019
Опубликовано для внешнего пользования	Да

Название	Software Technology: Methods and Tools
Том	11771
ISSN (печатное издание)	0302-9743
ISSN (электронное издание)	1611-3349

ID: 65526060