✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 6013 || Formal Analysis and Verification of Self-Healing Systems

✍ Scribed by Rosenblum, David S.; Taentzer, Gabriele

Book ID: 118165838
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 923 KB
Category: Article
ISBN: 3642120296
DOI: 10.1007/978-3-642-12029-9_10

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Soft

[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 7041 || Runtime Verification of Component-Based Systems

✍ Barthe, Gilles; Pardo, Alberto; Schneider, Gerardo 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 383 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 3308 || Multi-prover Verification of C Programs

✍ Davies, Jim; Schulte, Wolfram; Barnett, Mike 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 230 KB

Formal Engineering Methods Are Changing The Way That Software Systems Are - Veloped.withlanguageandtoolsupport,theyarebeingusedforautomaticcode Generation, And For The Automatic Abstraction And Checking Of Implementations. In The Future, They Will Be Used At Every Stage Of Development: Requirements,

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 2984 || Consistent Adaptation and Evolution of Class Diagrams during Refinement

✍ Wermelinger, Michel; Margaria-Steffen, Tiziana 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Infr

[Lecture Notes in Computer Science] Infrastructure Security Volume 2437 || Protocol Engineering Applied to Formal Analysis of Security Systems

✍ Davida, George; Frankel, Yair; Rees, Owen 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 109 KB

[Lecture Notes in Computer Science] Fund

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 4961 || Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services

✍ Fiadeiro, José Luiz; Inverardi, Paola 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 588 KB

[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