Compositional analysis of deadlock-freedom for tree-like component architectures


Majster-Cederbaum, Mila ; Martens, Moritz


URL: http://dx.doi.org/10.1145/1450058.1450085
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2008
Buchtitel: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
Seitenbereich: 199-206
Autor/Hrsg. des Buches
(nur der Erstgenannte!)
:
De Alfaro, Luca
Ort der Veröffentlichung: New York, NY
Verlag: ACM
ISBN: 978-1-60558-468-3
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum Em)
Fachgebiet: 004 Informatik
Zusätzliche Informationen: Online Ressource

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Majster-Cederbaum, Mila ; Martens, Moritz (2008) Compositional analysis of deadlock-freedom for tree-like component architectures. In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 2008 New York, NY [Konferenzveröffentlichung]



+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detailierte Angaben



Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail


Actions (login required)

Eintrag anzeigen Eintrag anzeigen