Login / Signup
CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software.
Anila Mjeda
Mike Hinchey
Published in:
CARS@SAFECOMP (2013)
Keyphrases
</>
safety critical
formal methods
embedded systems
fault tolerant
safety analysis
agent architecture
nuclear power plant
support systems
regulatory requirements
adaptive systems
decision support
data mining
decision making