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
Seitenbereich: 225-232
Veranstaltungsdatum: 2009
Autor/Hrsg. des Buches
(nur der Erstgenannte!)
:
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 Em)
Fachgebiet: 004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Martens, Moritz ; Majster-Cederbaum, Mila (2009) Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. In: 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering : (TASE 2009) ; Tianjin, China, 29 - 31 July 2009 2009 Piscataway, NJ [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