Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems.

Peter Wägemann

Published in: Denert Award (2020)

Keyphrases

safety critical
formal methods
worst case
nuclear power plant
fault tolerant
safety analysis
embedded systems
support systems
knowledge acquisition
distributed systems
learning systems
agent architecture
management system
domain independent
expert systems
knowledge based systems
adaptive systems