Using Z to support the design of interactive safety-critical systems.
C. W. JohnsonPublished in: Softw. Eng. J. (1995)
Keyphrases
- safety critical
- support systems
- formal methods
- safety analysis
- embedded systems
- software intensive systems
- nuclear power plant
- decision support system
- learning systems
- agent architecture
- fault tolerant
- regulatory requirements
- knowledge based systems
- real time
- decision makers
- distributed systems
- user interface
- intelligent systems
- knowledge base
- artificial intelligence