Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642162640, 9783642162657
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques

2010 ◽  
pp. 183-198 ◽  
Author(s):  
Mathias Hülsbusch ◽  
Barbara König ◽  
Arend Rensink ◽  
Maria Semenyak ◽  
Christian Soltenborn ◽  
...  
Keyword(s):  
Model Transformation ◽  
Comparison Of Techniques

scholarly journals An Event-B Approach to Data Sharing Agreements

2010 ◽  
pp. 28-42 ◽  
Author(s):  
Alvaro E. Arenas ◽  
Benjamin Aziz ◽  
Juan Bicarregui ◽  
Michael D. Wilson
Keyword(s):  
Data Sharing

scholarly journals Towards Probabilistic Modelling in Event-B

2010 ◽  
pp. 275-289 ◽  
Author(s):  
Anton Tarasyuk ◽  
Elena Troubitsyna ◽  
Linas Laibinis
Keyword(s):  
Probabilistic Modelling

scholarly journals Automatic Verification of Parametric Specifications with Complex Topologies

2010 ◽  
pp. 152-167 ◽  
Author(s):  
Johannes Faber ◽  
Carsten Ihlemann ◽  
Swen Jacobs ◽  
Viorica Sofronie-Stokkermans
Keyword(s):  
Automatic Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document