Login / Signup
Applying RT-Z to Develop Safety-Critical Systems.
Carsten Sühl
Published in:
FASE (2000)
Keyphrases
</>
safety critical
formal methods
safety analysis
fault tolerant
support systems
distributed systems
agent architecture
cooperative
nuclear power plant
embedded systems
learning systems
expert systems
intelligent systems
adaptive systems
management system
real time
regulatory requirements