A case study in the mechanical verification of fault tolerance

URL:	http://www.mais.informatik.tu-darmstadt.de/WebBibP...
Dokumenttyp:	Arbeitspapier
Erscheinungsjahr:	1999
Titel einer Zeitschrift oder einer Reihe:	Technical report TUD-BS
Band/Volume:	99-08
Ort der Veröffentlichung:	Darmstadt
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: Mantel, Heiko ; Freiling, Felix

Google Scholar: Mantel, Heiko ; Freiling, Felix

Aufrufe im letzten Jahr

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

Eintrag anzeigen