Publications
Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution
Typ der Veröffentlichung
Konferenzbeitrag
Veröffentlicht in
In Springer Real-Time Systems Journal, Volume 35, Number 1, Springer, January, 2007
Jahrgang/Erscheinungsjahr
2007
Vermerk
keiner
Referiert
Nein
Berichtsjahr
2007
Export