A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems.
Sejin JungJunbeom YooYoung-Jun LeePublished in: Reliab. Eng. Syst. Saf. (2020)
Keyphrases
- reactive systems
- formal specification
- computer systems
- formal methods
- commercial software
- distributed systems
- artificial intelligence
- written in natural language
- requirements specification
- embedded systems
- computer vision
- neural network
- software components
- test cases
- critical infrastructure
- intelligent systems
- source code