direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
Citation key Gruhn2013
Author Helena Gruhn and Sabine Glesner
Title of Book Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013))
Pages 49-62
Year 2013
DOI 10.4204/EPTCS.108.4
Journal Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions