Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application.
Taeho KimSung Deok ChaPublished in: Reliab. Eng. Syst. Saf. (2004)
Keyphrases
- safety critical
- nuclear power plant
- safety analysis
- formal methods
- software requirements
- fault tolerant
- agent architecture
- verification method
- embedded systems
- support systems
- development process
- adaptive systems
- model checking
- real time
- systems development
- condition monitoring
- decision support
- expert systems
- machine learning
- formal verification
- knowledge representation
- multi agent