Automated Formal Verification of Model Transformations

Thumbnail
Megtekintés/Megnyitás
Metaadat
Teljes megjelenítés
Link a dokumentumra való hivatkozáshoz:
http://hdl.handle.net/10890/2509
Gyűjtemény
Cím és alcím
Automated Formal Verification of Model Transformations
Szerző
Varró, Dániel
Pataricza, András
Megjelenés ideje
2003
Nyelv
en
Egyéb azonosítók
MTMT: 2612548
A cikket/könyvrészletet tartalmazó dokumentum címe
Proc. of CSDUML 2003: Workshop on Critical Systems Development in UML;
Dokumentumtípus
egyéb konferenciaközlemény
Műfaj
konferenciaközlemény