A Survey of Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems

Freiling, Felix

URL:	https://www1.cs.fau.de/filepool/publications/a-sur...
Dokumenttyp:	Arbeitspapier
Erscheinungsjahr:	1999
Titel einer Zeitschrift oder einer Reihe:	Technical report TUD-BS
Band/Volume:	99-04
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: 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