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

TOTAL DOCUMENTS

46
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642118104, 9783642118111
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals On the Modelling and Analysis of Amazon Web Services Access Policies

2010 ◽  
pp. 394-394 ◽  
Author(s):  
David Power ◽  
Mark Slaymaker ◽  
Andrew Simpson
Keyword(s):  
Web Services ◽  
Amazon Web Services ◽  
Access Policies

Refinement-Animation for Event-B — Towards a Method of Validation

2010 ◽  
pp. 287-301 ◽  
Author(s):  
Stefan Hallerstede ◽  
Michael Leuschel ◽  
Daniel Plagge

Code Synthesis for Timed Automata: A Comparison Using Case Study

2010 ◽  
pp. 403-403 ◽  
Author(s):  
Anaheed Ayoub ◽  
Ayman Wahba ◽  
Ashraf Salem ◽  
Mohamed Sheirah
Keyword(s):  
Timed Automata

Secrecy UML Method for Model Transformations

2010 ◽  
pp. 400-400 ◽  
Author(s):  
Waël Hassan ◽  
Nadera Slimani ◽  
Kamel Adi ◽  
Luigi Logrippo
Keyword(s):  
Model Transformations

B-ASM: Specification of ASM à la B

2010 ◽  
pp. 391-391 ◽  
Author(s):  
David Michel ◽  
Frédéric Gervais ◽  
Pierre Valarcher

Applying the B Method for the Rigorous Development of Smart Card Applications

2010 ◽  
pp. 203-216 ◽  
Author(s):  
Bruno Gomes ◽  
David Déharbe ◽  
Anamaria Moreira ◽  
Katia Moraes
Keyword(s):  
Smart Card ◽  
B Method

A Structure for Dependability Arguments

2010 ◽  
pp. 1-1
Author(s):  
Daniel Jackson ◽  
Eunsuk Kang

Communication Systems in ClawZ

2010 ◽  
pp. 334-348 ◽  
Author(s):  
Michael Vernon ◽  
Frank Zeyda ◽  
Ana Cavalcanti
Keyword(s):  
Communication Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document