Toward dependable safety-critical software.
Farokh B. BastaniBojan CukicVictoria HilfordAnouar JamoussiPublished in: WORDS (1996)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- embedded systems
- safety analysis
- agent architecture
- nuclear power plant
- support systems
- regulatory requirements
- adaptive systems
- intelligent agents
- knowledge based systems
- distributed systems
- software engineering
- multi agent
- information systems
- machine learning
- software intensive systems
- real time