Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642548031, 9783642548048
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Sound Merging and Differencing for Class Diagrams

2014 ◽  
pp. 63-78 ◽  
Author(s):  
Uli Fahrenberg ◽  
Mathieu Acher ◽  
Axel Legay ◽  
Andrzej Wąsowski
Keyword(s):  
Class Diagrams

scholarly journals Probabilistic Model Checking and Non-standard Multi-objective Reasoning

2014 ◽  
pp. 1-16 ◽  
Author(s):  
Christel Baier ◽  
Clemens Dubslaff ◽  
Sascha Klüppelholz ◽  
Marcus Daum ◽  
Joachim Klein ◽  
...  
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking ◽  
Multi Objective ◽  
Objective Reasoning
Load More ...
Sign in / Sign up

Export Citation Format

Share Document