KNAW

Publicatie

Automated Verification of Executable UML Models (2012)

Pagina-navigatie:
Titel Automated Verification of Executable UML Models
Gepubliceerd in Lecture Notes in Computer Science, Vol. 6957. ISSN 0302-9743.
Auteur Hansen, H.H.; Ketema, J.; Luttik, S.P.; Mousavi, M.R.; Pol, J.C. van de; Santos, O. Marchi dos
Redacteur Aichernig, B.K.; Boer, F.S. de; Bonsangue, M.M.
Datum 2012-01-01
Taal Engels
Type Conference paper
Uitgever Springer
Publicatie https://repository.cwi.nl/noauth/search/fullrecord.php?publn...
OpenURL Zoek deze publicatie in (uw) bibliotheek
Persistent Identifier urn:NBN:nl:ui:18-18711
Metadata XML
Repository CWI

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie