On-line proceedings
HAL collection of papers presented in workshops: http://hal.archives-ouvertes.fr/SAFECOMP2013
SAFECOMP associated workshops and tutorials will take place on September 24, 2013:
- ASCoMS : Workshop on Architecting Safety in Collaborative Mobile Systems.
- CARS: 2nd Workshop on Critical Automotive applications : Robustness & Safety.
- DECS: ERCIM/EWICS Workshop on Dependable Embedded and
Cyber-physical Systems.
- SASSUR: Next Generation of System Assurance Approaches for Safety-Critical Systems.
- Tutorial: FM&C: Formal Methods and Certification
- Tutorial: SA4SE: security-awareness for safety accreditors
