A Practical Formal Model for Safety Analysis in Capability-Based Systems.

Fred Spiessens Peter Van Roy

Published in: TGC (2005)

Keyphrases

formal model
safety analysis
safety critical
security patterns
real time
learning systems
complex systems
nuclear power plant
multi agent
distributed systems
artificial intelligence
control system
low cost
intelligent systems
security properties
reliability analysis