TU Darmstadt / ULB / TUbiblio

A framework for the design and validation of efficient fail-safe fault-tolerant programs

Jhumka, Arshad and Hiller, Martin and Suri, Neeraj (2003):
A framework for the design and validation of efficient fail-safe fault-tolerant programs.
In: Software and compilers for embedded systems : 7th international workshop, Vienna, Austria, September 24 - 26, 2003 ; proceedings / SCOPES 2003. Andreas Krall (ed.)- Berlin [u.a.] : Springer, 2003.- XI, 402 S. : graph. Darst.- (Lecture notes in computer sc, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2003
Creators: Jhumka, Arshad and Hiller, Martin and Suri, Neeraj
Title: A framework for the design and validation of efficient fail-safe fault-tolerant programs
Language: English
Series Name: Software and compilers for embedded systems : 7th international workshop, Vienna, Austria, September 24 - 26, 2003 ; proceedings / SCOPES 2003. Andreas Krall (ed.)- Berlin [u.a.] : Springer, 2003.- XI, 402 S. : graph. Darst.- (Lecture notes in computer sc
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Dependable Embedded Systems & Software
Date Deposited: 20 Nov 2008 08:18
License: [undefiniert]
Export:

Optionen (nur für Redakteure)

View Item View Item