direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

A CSP-based framework for the specification, verification, and implementation of adaptive systems
Citation key Bartels2011c
Author Björn Bartels and Moritz Kleine
Title of Book Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Pages 158–167
Year 2011
Publisher ACM
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe