FIS Publikationen
2020
Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.
2019
Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.
2018
Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.
2017
Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.
2016
1 bis 18 von 18 Einträgen
Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.
2015
1 bis 18 von 18 Einträgen
Diese Informationen werden vom Vorgängersystem FIS bereitgestellt.
Vor 2015
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