A case study in the mechanical verification of fault tolerance


Mantel, Heiko ; Freiling, Felix


URL: http://dx.doi.org/10.1080/095281300454847
Dokumenttyp: Zeitschriftenartikel
Erscheinungsjahr: 2000
Titel einer Zeitschrift oder einer Reihe: Journal of Experimental & Theoretical Artificial Intelligence : JETAI
Band: 12
Heft: 4
Seitenbereich: 473-488
Ort der Veröffentlichung: London [u.a.]
Verlag: Taylor & Francis
ISSN: 0952-813X
Sprache der Veröffentlichung: Englisch
Einrichtung: Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Praktische Informatik I (Freiling -2013)
Fachgebiet: 004 Informatik

Dieser Eintrag ist Teil der Universitätsbibliographie.




+ Zitationsbeispiel und Export

Mantel, Heiko und Freiling, Felix (2000) A case study in the mechanical verification of fault tolerance. Journal of Experimental & Theoretical Artificial Intelligence : JETAI 12 4 473-488 [Zeitschriftenartikel]



+ 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