Login / Signup
Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, .
Viacheslav Izosimov
Urban Ingelsson
Andreas Wallin
Published in:
SAFECOMP (2012)
Keyphrases
</>
safety critical
formal methods
fault tolerant
support systems
embedded systems
nuclear power plant
safety analysis
agent architecture
adaptive systems
regulatory requirements
knowledge based systems
case study
multi agent
multi agent systems
expert systems
decision makers