Introduction to the Special Theme "Safety-Critical Software".
Pedro MerinoErwin SchoitschPublished in: ERCIM News (2008)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- agent architecture
- nuclear power plant
- support systems
- regulatory requirements
- adaptive systems
- software development
- software systems
- machine learning
- software intensive systems
- real time
- intelligent agents
- health monitoring
- object oriented