Sign in
The Automotive Virtual Verification Ecosystem: Impediments and Enablers.
S. Magnus Ågren
Eric Knauss
Paolo Giusto
Grant Soremekun
Rogardt Heldal
Daniela E. Damian
Published in:
IEEE Softw. (2020)
Keyphrases
</>
augmented reality
model checking
virtual reality
virtual environment
automotive industry
virtual laboratory
formal methods
virtual world
functional verification
driver assistance
database
case study
e learning
decision making
computer vision
real world
real time