[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 9923 || Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems
Skavhaug, Amund, Guiochet, Jérémie, Schoitsch, Erwin, Bitsch, FriedemannVolume:
10.1007/97
Year:
2016
Language:
english
DOI:
10.1007/978-3-319-45480-1_29
File:
PDF, 1.55 MB
english, 2016