Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL

Hirsch, Martin

by Martin Hirsch

Reference:

Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL (Martin Hirsch), Master's thesis, University of Paderborn, 2004.

Bibtex Entry:

@MastersThesis{hir04_ag,
AUTHOR = {Hirsch, Martin},
TITLE = {{Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL}},
YEAR = {2004},
SCHOOL = {University of Paderborn},
URL = {http://www.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Diplom/2004/DiplomMHirsch.pdf}
}