A survey of transformational approaches to the specification and verification of fault-tolerant systems

Freiling, Felix

URL:	http://dx.doi.org/10.3217/jucs-005-10-0668
Weitere URL:	http://www.jucs.org/jucs_5_10/transformational_app...
Dokumenttyp:	Zeitschriftenartikel
Erscheinungsjahr:	1999
Titel einer Zeitschrift oder einer Reihe:	Journal of Universal Computer Science : J.UCS
Band/Volume:	5
Heft/Issue:	10
Seitenbereich:	668-692
Ort der Veröffentlichung:	Graz
Verlag:	Verl. d. Techn. Univ. Graz
ISSN:	0948-695X , 0948-6968
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