Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation


Martens, Moritz ; Majster-Cederbaum, Mila



URL: http://dx.doi.org/10.1109/TASE.2009.18
Dokumenttyp: Konferenzveröffentlichung
Erscheinungsjahr: 2009
Buchtitel: 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering : (TASE 2009) ; Tianjin, China, 29 - 31 July 2009
Titel einer Zeitschrift oder einer Reihe: Theoretical aspects of software engineering : 3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China; proceedings
Seitenbereich: 225-232
Veranstaltungsdatum: 2009
Herausgeber: Chin, Wei-Ngan
Ort der Veröffentlichung: Piscataway, NJ
Verlag: IEEE
ISBN: 978-1-4244-4880-7 , 978-0-7695-3757-3
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik II (Majster-Cederbaum -2005, Em)
Fachgebiet: 004 Informatik




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