Keyphrases
- safety analysis
- temporal databases
- nuclear power plant
- control system
- safety critical
- temporal data
- symbolic model checking
- fault model
- database systems
- relational databases
- databases
- database
- data warehouse
- database schema
- data warehousing
- temporal information
- fault tolerant
- agent architecture
- management system
- data model
- information systems