𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] [email protected] Volume 8378 || A Reference Architecture and Roadmap for [email protected] Systems

✍ Scribed by Bencomo, Nelly; France, Robert; Cheng, Betty H. C.; Aßmann, Uwe


Book ID
125803640
Publisher
Springer International Publishing
Year
2014
Weight
253 KB
Category
Article
ISBN
3319089153

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Mode
✍ Broy, Manfred; Jonsson, Bengt; Katoen, Joost-Pieter; Leucker, Martin; Pretschner 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 432 KB

Testing Is The Primary Hardware And Software Verification Technique Used By Industry Today. Usually, It Is Ad Hoc, Error Prone, And Very Expensive. In Recent Years, However, Many Attempts Have Been Made To Develop More Sophisticated Formal Testing Methods. This Coherent Book Provides An In-depth Ass

[Lecture Notes in Computer Science] Obje
✍ Bellahsène, Zohra; Patel, Dilip; Rolland, Colette 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 436 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Conference On Object-oriented Information Systems, Oois 2002, Held In Montpellier, France, In September 2002. The 34 Revised Full Papers And 17 Short Papers Presented Were Carefully Reviewed And Selected From 116 Submissions. Th