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
Titel einer Zeitschrift oder einer Reihe: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008
Seitenbereich: 199-206
Herausgeber: 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 -2005, Em)
Fachgebiet: 004 Informatik
Zusätzliche Informationen: Online Ressource




Dieser Eintrag ist Teil der Universitätsbibliographie.




Metadaten-Export


Zitation


+ Suche Autoren in

+ Aufruf-Statistik

Aufrufe im letzten Jahr

Detaillierte Angaben



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


Actions (login required)

Eintrag anzeigen Eintrag anzeigen