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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ortmeier, Frank (Επιμελητής έκδοσης), Daniel, Peter (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
• Σειρά: Lecture Notes in Computer Science, 7613
• Θέματα: 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.
• Φυσική περιγραφή: 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).