𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || Control and Data Flow Testing on Function Block Diagrams

✍ Scribed by Winther, Rune; Gran, Bjørn Axel; Dahll, Gustav

Book ID
125332170
Publisher
Springer Berlin Heidelberg
Year
2005
Tongue
German
Weight
723 KB
Category
Article
ISBN
3540320008

No coin nor oath required. For personal study only.

✦ Synopsis

This Book Constitutes The Refereed Proceedings Of The 24th International Conference On Computer Safety, Reliability, And Security, Safecomp 2005, Held In Fredrikstad, Norway, In September 2005. The 30 Revised Full Papers Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Address All Aspects Of Dependability And Survivability Of Critical Computerized Systems In Various Branches And Infrastructures.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || A Formal Model for Fault-Tolerance in Distributed Systems
✍ Winther, Rune; Gran, Bjørn Axel; Dahll, Gustav 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 220 KB

This Book Constitutes The Refereed Proceedings Of The 24th International Conference On Computer Safety, Reliability, And Security, Safecomp 2005, Held In Fredrikstad, Norway, In September 2005. The 30 Revised Full Papers Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Addr

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 3688 || Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems
✍ Winther, Rune; Gran, Bjørn Axel; Dahll, Gustav 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 210 KB

This Book Constitutes The Refereed Proceedings Of The 24th International Conference On Computer Safety, Reliability, And Security, Safecomp 2005, Held In Fredrikstad, Norway, In September 2005. The 30 Revised Full Papers Were Carefully Reviewed And Selected For Inclusion In The Book. The Papers Addr

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6351 || System of Systems Challenges
✍ Schoitsch, Erwin 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 85 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