✦ LIBER ✦

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems

✍ Scribed by Margaria, Tiziana; Steffen, Bernhard

Book ID: 121346970
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 59 KB
Category: Article
ISBN: 3642165583
DOI: 10.1007/978-3-642-16558-0_7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 a Research Agenda for Enterprise Crowdsourcing

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

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction

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

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6415 || Systematic Model-Based Safety Assessment Via Probabilistic Model Checking

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 443 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 Volume 6415 || A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling

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