✦ LIBER ✦

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Design of a BPEL Verification Tool

✍ Scribed by Carbone, Marco; Petit, Jean-Marc

Book ID: 121710120
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 482 KB
Category: Article
ISBN: 3642298346
DOI: 10.1007/978-3-642-29834-9_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Behavior Based Service Composition

✍ Carbone, Marco; Petit, Jean-Marc 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 273 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations

✍ Carbone, Marco; Petit, Jean-Marc 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 598 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 6194 || A Formal Semantics for the WS-BPEL Recovery Framework

✍ Laneve, Cosimo; Su, Jianwen 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 259 KB

[Lecture Notes in Computer Science] Web

[Lecture Notes in Computer Science] Web Services and Formal Methods Volume 7176 || Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures

✍ Carbone, Marco; Petit, Jean-Marc 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 602 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

[Lecture Notes in Computer Science] Corr

[Lecture Notes in Computer Science] Correct Hardware Design and Verification Methods Volume 3725 || Formal Verification of Synchronizers

✍ Borrione, Dominique; Paul, Wolfgang 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 141 KB

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbr?cken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invi