Login / Signup
Virtual Verification of E/E Architectures for Secure Automated Driving Functions.
Kevin Neubauer
Marcel Rumez
Huiying Tremmel
Augusto W. Hoppe
Reiner Kriesten
Philipp Nenninger
Eric Sax
Jürgen Becker
Published in:
ISSE (2021)
Keyphrases
</>
augmented reality
virtual environment
integrity verification
data sets
cryptographic protocols
semi automated
fully automated
virtual reality
virtual world
security requirements
formal verification
genetic algorithm
basis functions
lightweight
multi party
high security
real time