direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP
Citation key Bartels2011
Author Björn Bartels and Sabine Glesner
Title of Book Proceedings of the 18th Asia-Pacific Software Engineering Conference
Pages 195-202
Year 2011
ISBN 978-0-7695-4609-4
ISSN 1530-1362
Editor IEEE Computer Society
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe