pdfreaders.org

Formal Analysis of UML/OCL Models

Achim D. Brucker

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker:formal:2008.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker. Formal Analysis of UML/OCL Models. Computer Science Colloquium at the University Bremen, Bremen, Germany, 29. oct. 2008.
(Folien) (Handout) (BibTeX) (Share article on LinkedIn. Share article on CiteULike.)

BibTeX
@Talk{ talk:brucker:formal:2008,
address = {Bremen, Germany},
author = {Achim D. Brucker},
day = {29},
event = {Computer Science Colloquium at the University Bremen},
handout = {https://www.brucker.ch/bibliography/download/2008/talk-brucker-formal-2008-2x2.pdf},
isodate = {2008-10-31},
lecturer = {Achim D. Brucker},
month = {oct},
slides = {https://www.brucker.ch/bibliography/download/2008/talk-brucker-formal-2008.pdf},
title = {Formal Analysis of UML/OCL Models},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker-formal-2008},
year = {2008},
}