Reply to "Comment on: Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application".
Han Seong SonPoong-Hyun SeongPublished in: Reliab. Eng. Syst. Saf. (2004)
Keyphrases
- safety critical
- nuclear power plant
- safety analysis
- fault tolerant
- formal methods
- software requirements
- support systems
- verification method
- embedded systems
- agent architecture
- decision support
- software systems
- development process
- adaptive systems
- decision making
- expert systems
- knowledge base
- multi agent
- systems development
- temporal logic
- artificial intelligence
- software architecture
- model checking
- knowledge based systems
- computational intelligence
- software engineering