SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013
Published in: SASSUR@SAFECOMP (2013)
Keyphrases
- safety critical
- international conference
- safety analysis
- formal methods
- nuclear power plant
- fault tolerant
- embedded systems
- web intelligence
- support systems
- agent architecture
- computational molecular biology
- computational intelligence
- adaptive systems
- conference proceedings
- acm sigmod
- artificial intelligence
- information security
- intelligent systems
- real time
- load balancing
- distributed systems
- learning environment