Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, Magdeburg, Germany, September 25-28, 2012. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ortmeier, Frank (Editor), Daniel, Peter (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Series: Lecture Notes in Computer Science, 7613
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer security.; Computer logic.; Artificial intelligence.; Computers and civilization.; Computer Science.; Systems and Data Security.; Computer Communication Networks.; Logics and Meanings of Programs.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Computers and Society.
• Physical Description: XVI, 530 p. 198 illus. online resource.
• ISBN: 9783642336751
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings of 5 workshops colocated with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012. The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).