Model-based Verification of Safety-Critical Systems.
Pao-Ann HsiungYen-Hung LinPublished in: SEKE (2005)
Keyphrases
- safety critical
- formal methods
- safety analysis
- nuclear power plant
- fault tolerant
- intelligent systems
- embedded systems
- regulatory requirements
- agent architecture
- distributed systems
- user interface
- model checking
- learning systems
- decision support
- support systems
- formal verification
- expert systems
- data mining
- databases