Preliminary Experience Using Z to Specify a Safety-Critical System.

John C. Knight Darrell M. Kienzle

Published in: Z User Workshop (1992)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
regulatory requirements
adaptive systems
distributed systems
load balancing
databases
machine learning
context aware