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

Original language	English
Title of host publication	VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
Publisher	Springer
Pages	351-363
Number of pages	13
ISBN (Electronic)	978-3-030-29852-4
ISBN (Print)	978-3-030-29851-7
DOIs	https://doi.org/10.1007/978-3-030-29852-4_30
Publication status	Published - 8 Oct 2019
Externally published	Yes

Name	Software Technology: Methods and Tools
Volume	11771
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Co-simulation, Cyber-physical systems (CPS), Digital twin, Formal specification, Language processing, Model-based testing, Multi-modelling, Natural, Traceability, Verification

ID: 65526060