[Lecture Notes in Computer Science] Computer Safety, Reliability and Security Volume 2434 || Analysing the Safety of a Software Development Process

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 5219 || Formal Security Analysis of Electronic Software Distribution Systems

✍ Harrison, Michael D.; Sujan, Mark-Alexander 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 205 KB

This Book Constitutes The Refereed Proceedings Of The 27th International Conference On Computer Safety, Reliability, And Security, Safecomp 2008, Held In Newcastle Upon Tyne, Uk, In September 2008. The 32 Revised Full Papers Presented Together With 3 Keynote Papers And A Panel Session Were Carefully

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || A UML Profile for Requirements Analysis of Dependable Software

✍ Schoitsch, Erwin 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 622 KB

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability and Security Volume 2187 || Network Security for Substation Automation Systems

✍ Voges, Udo 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 160 KB

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and researc

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability and Security Volume 2187 || Network Security for Substation Automation Systems

✍ Voges, Udo 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 160 KB

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and researc

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 7613 || A Systematic Elaboration of Safety Requirements in the Avionic Domain

✍ Ortmeier, Frank; Daniel, Peter 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 273 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || Security Analysis of Open Building Automation Systems

✍ Schoitsch, Erwin 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 533 KB

Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ag