Sign in
Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL.
Ralph Weissnegger
Markus Schuss
Christian Kreiner
Markus Pistauer
Kay Römer
Christian Steger
Published in:
ANT/SEIT (2016)
Keyphrases
</>
safety critical
formal methods
safety analysis
nuclear power plant
fault tolerant
embedded systems
agent architecture
adaptive systems
regulatory requirements
support systems
learning systems
distributed systems
software engineering
low cost
multi agent
knowledge base
artificial intelligence