Recent Trends in the Development of Safety Critical Systems.
Werner DammPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- safety critical
- recent trends
- formal methods
- safety analysis
- support systems
- fault tolerant
- nuclear power plant
- embedded systems
- agent architecture
- software engineering
- adaptive systems
- learning systems
- artificial intelligence
- knowledge based systems
- management system
- real time
- software components
- ambient intelligence
- software systems
- image and video processing
- intelligent systems
- cooperative