Startseite > Publikationen

Publikationen

Drucken

Wir legen großen Wert darauf, unsere Partner und die Öffentlichkeit über unsere Forschungsarbeit zu informieren. Die HNI Nachrichten, den HNI-Jahresbericht und auch Veröffentlichungen der HNI-Verlagsschriftenreihe können Sie bei uns bestellen.

Bestellservice

Publikationsdatenbank

Für die Recherche nach wissenschaftlichen Veröffentlichungen steht Ihnen unsere Publikationsdatenbank zur Verfügung. In ihr sind alle Publikationen unserer Mitarbeiterinnen und Mitarbeiter nachgewiesen. Mit über 1.700 Titelangaben bildet sie das gesamte Forschungsspektrum unseres Instituts ab. Hier finden Sie Hinweise auf Aufsätze, Konferenzbeiträge und Tagungsbände sowie Studien und Hochschulschriften. Elektronisch vorhandene Dokumente können Sie direkt aus der Datenbank abrufen.

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)", Okt. 2003

Dateien

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},
}