Formal Methods for Model-Driven Engineering - Lecture Notes in Computer Science
Latest Publications


TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642309816, 9783642309823

Author(s):  
Suzana Andova ◽  
Mark G. J. van den Brand ◽  
Luc J. P. Engelen ◽  
Tom Verhoeff

Author(s):  
Guido de Caso ◽  
Victor Braberman ◽  
Diego Garbervetsky ◽  
Sebastian Uchitel

Author(s):  
Holger Giese ◽  
Leen Lambers ◽  
Basil Becker ◽  
Stephan Hildebrandt ◽  
Stefan Neumann ◽  
...  

Author(s):  
Davide Di Ruscio ◽  
Romina Eramo ◽  
Alfonso Pierantonio

Author(s):  
Petra Brosch ◽  
Gerti Kappel ◽  
Philip Langer ◽  
Martina Seidl ◽  
Konrad Wieland ◽  
...  

Author(s):  
Antonio Vallecillo ◽  
Martin Gogolla ◽  
Loli Burgueño ◽  
Manuel Wimmer ◽  
Lars Hamann

Sign in / Sign up

Export Citation Format

Share Document