Keyphrases
- safety critical
- control system
- safety analysis
- formal methods
- fault tolerant
- nuclear power plant
- agent architecture
- embedded systems
- real time
- support systems
- regulatory requirements
- adaptive systems
- fuzzy logic
- fuzzy control
- low cost
- symbolic model checking
- databases
- database applications
- open source
- management system
- knowledge representation
- machine learning