direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications of KBS

A Formally-Proven Composable Architecture for Real-Time Systems.
Citation key WRP04
Author Matthias Werner and Jan Richling and Louchka Popova-Zeugman
Title of Book WACERTS at the RTSS'04. Lisbon: University of Lisbon
Pages 31–34
Year 2004
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe