| Typ des Eintrags: |
Konferenzveröffentlichung
|
| Erschienen: |
2003 |
| Autor(en): |
Jhumka, Arshad ; Hiller, Martin ; Suri, Neeraj |
| Art des Eintrags: |
Bibliographie |
| Titel: |
A framework for the design and validation of efficient fail-safe fault-tolerant programs |
| Sprache: |
Englisch |
| Publikationsjahr: |
2003 |
| Reihe: |
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 |
| Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik
20 Fachbereich Informatik > Zuverlässige Eingebettete Softwaresysteme |
| Hinterlegungsdatum: |
20 Nov 2008 08:18 |
| Letzte Änderung: |
05 Mär 2013 09:00 |
| PPN: |
|
| Export: |
|
| Suche nach Titel in: |
TUfind oder in Google |
 |
Redaktionelle Details anzeigen |
Drucken
Impressum