Login / Signup
Creation of Testing Processes for a Verification of Safety Relevant Vehicle Systems.
Hassan Noun
Christian Urban-Seelmann
Mohamed Abdelfattah
Guillaume Zeller
Roland Lachmayer
Published in:
ICSRS (2023)
Keyphrases
</>
intelligent vehicles
expert systems
safety analysis
formal methods
automated verification
road safety
real time
model checking
intelligent systems
distributed systems
formal verification
traffic accidents
test generation
safety critical
management system
creation process
information systems
search engine
data sets