An exercise in systematically deriving fault-tolerance specifications

Freiling, Felix

URL:	http://citeseerx.ist.psu.edu/viewdoc/download?doi=...
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	1999
Buchtitel:	Proceedings of the Third ERSADS '99 : European Research Seminar on Advances in Distributed Systems Spring School and Workshop Madeira Island - Portugal. 23-28 April 1999
Titel einer Zeitschrift oder einer Reihe:	Proceedings of the Third European Research Seminar on Advances in Distributed Systems
Seitenbereich:	99-102
Ort der Veröffentlichung:	[Lisboa]
Verlag:	BROADCAST Esprit WG 22455
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.

BASE: Freiling, Felix

Google Scholar: Freiling, Felix

Aufrufe im letzten Jahr

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

Eintrag anzeigen