Publikationen
Im Folgenden finden Sie Informationen zu Publikationen des Instituts, die über das Forschungsinformationssystem der TU Dresden bereitgestellt werden. Für umfassende Informationen zu Veröffentlichungen der Arbeitsgruppen des Instituts besuchen Sie bitte die Seiten der jeweiligen Professuren.
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