Back to Results
First PageMeta Content
Software / Graph rewriting / VIATRA / Formal methods / Logic in computer science / Object Constraint Language / Model transformation language / Kermeta / Formal verification / Unified Modeling Language / Systems engineering / Software engineering


VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium
Add to Reading List

Document Date: 2014-12-03 03:08:26

Open Document

File Size: 142,35 KB

Share Result on Facebook
UPDATE