𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || Using Ada in Interactive Digital Television Systems

✍ Scribed by Craeynest, Dirk; Strohmeier, Alfred

Book ID
120376216
Publisher
Springer Berlin Heidelberg
Year
2001
Weight
229 KB
Category
Article
ISBN
3540451366

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || Transaction Support for Ada
✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 221 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable SoftwareTechnologies — Ada-Europe 2001 Volume 2043 || MaRTE OS: An Ada Kernel for Real-Time Embedded Applications
✍ Craeynest, Dirk; Strohmeier, Alfred 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 209 KB

Building Formal Requirements Models For Reliable Software / Axel Van Lamsweerde -- Using Ada In Interactive Digital Television Systems / Pascal Heraud And Thierry Lelegard -- Testing From Formal Specifications, A Generic Approach / Marie-claude Gaudel -- Logic Versus Magic In Critical Systems / Pete

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable Software Technologies Ada-Europe 2000 Volume 1845 || On Persistent and Reliable Streaming in Ada
✍ Keller, Hubert B.; Plödereder, Erhard 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 156 KB

This Book Constitutes The Proceedings Of The 23rd Ada-europe International Conference On Reliable Software Technologies, Ada-europe 2018, Held In Lisbon, Portugal, In June 2018. The 10 Papers Presented In This Volume Were Carefully Reviewed And Selected From 27 Submissions. They Were Organized In To