Publications

Print
Flake, Stephan: Temporal OCL Extensions for Specification of Real-Time Constraints (Position Paper). In: UML 2003 Workshop "Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS'03)", Oct 2003

files

paper.pdf



Bibtex

@inproceedings{hniid=1752,
author = {Flake, Stephan},
title = {Temporal OCL Extensions for Specification of Real-Time Constraints (Position Paper)},
booktitle = {UML 2003 Workshop "Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS'03)"},
month = oct,
year = {2003},
}