Assumption-Commitment Specifications and Safety-Critical Systems.

Georg Rock Werner Stephan Andreas Wolpers

Published in: FBT (1998)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
agent architecture
support systems
learning systems
management system
intelligent systems
adaptive systems
nuclear power plant
multi agent systems
expert systems
low cost