Lecture Notes in Computer Science - Abstract State Machines, B and Z
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540876021, 9783540876038

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verification and Validation of Web Service Composition Using Event B Method

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_28 ◽

2008 ◽

pp. 339-340 ◽

Cited By ~ 3

Author(s):

Idir Ait-Sadoune ◽

Yamine Ait-Ameur

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Verification And Validation ◽

B Method ◽

Event B Method

Download Full-text

Data Flow Analysis and Testing of Abstract State Machines

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_8 ◽

2008 ◽

pp. 85-97 ◽

Cited By ~ 6

Author(s):

Alessandra Cavarra

Keyword(s):

Data Flow ◽

Flow Analysis ◽

State Machines ◽

Abstract State Machines ◽

Data Flow Analysis

Download Full-text

Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_4 ◽

2008 ◽

pp. 39-41 ◽

Cited By ~ 1

Author(s):

Gerhard Schellhorn

Download Full-text

Stability of Real-Time Abstract State Machines under Desynchronization

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_29 ◽

2008 ◽

pp. 341-341

Author(s):

Joelle Cohen ◽

Anatol Slissenko

Keyword(s):

Real Time ◽

State Machines ◽

Abstract State Machines

Download Full-text

Formal Modeling and Analysis of a Flash Filesystem in Alloy

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_23 ◽

2008 ◽

pp. 294-308 ◽

Cited By ~ 32

Author(s):

Eunsuk Kang ◽

Daniel Jackson

Keyword(s):

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Towards Modelling Obligations in Event-B

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_15 ◽

2008 ◽

pp. 181-194 ◽

Cited By ~ 13

Author(s):

Juan Bicarregui ◽

Alvaro Arenas ◽

Benjamin Aziz ◽

Philippe Massonet ◽

Christophe Ponsard

Download Full-text

Generating Tests from B Specifications and Test Purposes

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_12 ◽

2008 ◽

pp. 139-152 ◽

Cited By ~ 3

Author(s):

Jacques Julliand ◽

Pierre-Alain Masson ◽

Régis Tissot

Download Full-text

UML-B: A Plug-in for the Event-B Tool Set

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_32 ◽

2008 ◽

pp. 344-344 ◽

Cited By ~ 7

Author(s):

Colin Snook ◽

Michael Butler

Keyword(s):

Tool Set

Download Full-text

Using EventB to Create a Virtual Machine Instruction Set Architecture

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_21 ◽

2008 ◽

pp. 265-279 ◽

Cited By ~ 1

Author(s):

Stephen Wright

Keyword(s):

Virtual Machine ◽

Instruction Set ◽

Instruction Set Architecture ◽

Machine Instruction

Download Full-text

A Verifiable Conformance Relationship between Smart Card Applets and B Security Models

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_19 ◽

2008 ◽

pp. 237-250

Author(s):

Frédéric Dadeau ◽

Julien Lamboley ◽

Thierry Moutet ◽

Marie-Laure Potet

Keyword(s):

Smart Card ◽

Security Models

Download Full-text

Lecture Notes in Computer Science - Abstract State Machines, B and ZLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Verification and Validation of Web Service Composition Using Event B Method

Data Flow Analysis and Testing of Abstract State Machines

Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract)

Stability of Real-Time Abstract State Machines under Desynchronization

Formal Modeling and Analysis of a Flash Filesystem in Alloy

Towards Modelling Obligations in Event-B

Generating Tests from B Specifications and Test Purposes

UML-B: A Plug-in for the Event-B Tool Set

Using EventB to Create a Virtual Machine Instruction Set Architecture

A Verifiable Conformance Relationship between Smart Card Applets and B Security Models

Lecture Notes in Computer Science - Abstract State Machines, B and Z
Latest Publications