direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
Zitatschlüssel Gruhn2013
Autor Helena Gruhn and Sabine Glesner
Buchtitel Formal Engineering approaches to Software Components and Architectures (FESCA@ETAPS2013))
Seiten 49-62
Jahr 2013
DOI 10.4204/EPTCS.108.4
Journal Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe