Software composition and verification for sensor networks

Component-based design has become a necessity for networked embedded systems where hardware platforms come in a great variety and evolve extremely rapidly. Operating system components and higher level middleware services call for modular software construction along clear interfaces. The way we descr...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming 2005-04, Vol.56 (1), p.191-210
Hauptverfasser:	Völgyesi, P., Maróti, M., Dóra, S., Osses, E., Lédeczi, Á.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!