𝔖 Bobbio Scriptorium

✦ LIBER ✦

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

✍ Scribed by Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia

Book ID: 120932813
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 262 KB
Category: Article
ISBN: 3642308856
DOI: 10.1007/978-3-642-30885-7_11

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, 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, 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 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

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

[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 and Z Volume 5977 || Supporting Reuse in Event B Development: Modularisation Approach

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