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

[Lecture Notes in Computer Science] Comp

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

✍ Anderson, Stuart; Felici, Massimo; Bologna, Sandro 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 290 KB

[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 6894 || A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain

✍ Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 290 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