Publications
Model and Object Verification by Using Dresden OCL
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
Proc. of the Russian-German Workshop Innovation Information Technologies: Theory & Practice, Ufa, Russia, July 25-31, 2009
Schlagwörter
OCL Verification
Jahrgang/Erscheinungsjahr
2009
Referiert
Ja
ISBN
978-5-86911-964-3
Zugeordnete Forschungsprojekte
- Das Dresden OCL Toolkit
Berichtsjahr
2009
Export