Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen

Treffer: Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties

Title:
Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
Source:
2008 IEEE International Symposium on Parallel and Distributed Processing Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on. :1-8 Apr, 2008
Relation:
2008 IEEE International Parallel & Distributed Processing Symposium (IPDPS)
Database:
IEEE Xplore Digital Library