Login / Signup
Failure and Change Impact Analysis for Safety-Critical Systems - Applied on a Medical Use Case.
Philipp Lohmüller
Julia Rauscher
Bernhard Bauer
Published in:
BMSD (2019)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
nuclear power plant
agent architecture
fault tolerant
support systems
adaptive systems
patient care
change impact analysis
knowledge acquisition