|
Safety, Liveness, and Information Flow: Dependability Revisited
Benenson, Zinaida
;
Draque Penso, Lucia
;
Freiling, Felix
;
Holz, Thorsten
;
Kesdogan, Dogan
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2006
|
|
Buchtitel:
|
ARCS'06 : 19th International Conference on Architecture of Computing Systems; Workshop proceedings; March 16, 2006, Frankfurt am Main
|
|
Titel einer Zeitschrift oder einer Reihe:
|
ARCS'06 : 19th International Conference on Architecture of Computing Systems; Workshop proceedings; March 16, 2006, Frankfurt am Main
|
|
Ort der Veröffentlichung:
|
Bonn
|
|
Verlag:
|
Ges. für Informatik
|
|
ISBN:
|
3-88579-175-7
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik I (Freiling 2005-2010)
|
|
Fachgebiet:
|
004 Informatik
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
BASE:
Benenson, Zinaida
;
Draque Penso, Lucia
;
Freiling, Felix
;
Holz, Thorsten
;
Kesdogan, Dogan
Google Scholar:
Benenson, Zinaida
;
Draque Penso, Lucia
;
Freiling, Felix
;
Holz, Thorsten
;
Kesdogan, Dogan
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
