✦ LIBER ✦

[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

✍ Scribed by Margaria, Tiziana; Steffen, Bernhard

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

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 6416 || Worst-Case Analysis of Heap Allocations

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 233 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 6416 || A Case Study in Model-Based Adaptation of Web Services

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