𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe '96 Volume 1088 || Tasking deadlocks in Ada 95 programs and their detection

✍ Scribed by Strohmeier, Alfred

Book ID
111862684
Publisher
Springer Berlin Heidelberg
Year
1996
Weight
890 KB
Category
Article

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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

[Lecture Notes in Computer Science] Reli
[Lecture Notes in Computer Science] Reliable Software Technologies — Ada-Europe Volume 1411 || Guidance on the use of Ada95 in high integrity systems
✍ Asplund, Lars 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 778 KB

Embedded Opportunities / F. Gasperoni -- Ada+b The Formula For Safety Critical Software Development / P. Chapront -- Porting The Gnat Tasking Runtime System To The Java Virtual Machine / L. Millet, T. Baker -- Automating The Ada Binding Process For Java : How Far Can We Go? / D.e. Emery, R.f. Mathis