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

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

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