✦ LIBER ✦

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Supporting Reuse in Event B Development: Modularisation Approach

✍ Scribed by Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve

Book ID: 120733196
Publisher: Springer Berlin Heidelberg
Year: 2010
Weight: 205 KB
Category: Article
ISBN: 3642118119
DOI: 10.1007/978-3-642-11811-1_14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Event-B Decomposition for Parallel Programs

✍ Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Towards Formalizing Network Architectural Descriptions

✍ Frappier, Marc; Glässer, Uwe; Khurshid, Sarfraz; Laleau, Régine; Reeves, Steve 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 211 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || On the Purpose of Event-B Proof Obligations

✍ Börger, Egon; Butler, Michael; Bowen, Jonathan P.; Boca, Paul 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 218 KB

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Pattern for Modelling Fault Tolerant Systems in Event-B

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 638 KB

[Lecture Notes in Computer Science] Abst

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Temporal Logic Model Checking in Alloy

✍ Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, M 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 262 KB