✦ LIBER ✦

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification and Validation Volume 17 || Non-functional Avionics Requirements

✍ Scribed by Margaria, Tiziana; Steffen, Bernhard

Book ID: 120257040
Publisher: Springer Berlin Heidelberg
Year: 2008
Weight: 297 KB
Category: Article
ISBN: 3540884793
DOI: 10.1007/978-3-540-88479-8_26

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Communications in Computer and Informat

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification and Validation Volume 17 || Computer-Supported Collaborative Learning with Mind-Maps

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 639 KB

This Volume Contains The Conference Proceedings Of Isola 2008, The Third International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, Which Was Held In Porto Sani (kassandra, Chalkidiki), Greece During October 13–15, 2008, Sponsored By Easst And In Cooperation W

[Communications in Computer and Informat

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification, and Validation || Learning-Based Software Testing: A Tutorial

✍ Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Ber 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 643 KB

This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Contract-Based Slicing

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 324 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Towards More Adaptive Voice Applications

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 383 KB

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || Modeling and Managing System Evolution

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 137 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change Volume 7609 || Learning Techniques for Software Verification and Validation

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 70 KB

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic