Sign in
Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.
Peter T. Popov
Published in:
SAFECOMP (2002)
Keyphrases
</>
safety critical
reliability assessment
formal methods
safety analysis
fault tolerant
distributed systems
embedded systems
support systems
building blocks
nuclear power plant
software components
adaptive systems
machine learning