Skip to contents

Pradhan, Dhiraj K. [Editor]

Fault-tolerant computer system design

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Upper Saddle River, N.J: Prentice Hall, 1996 ; Upper Saddle River, NJ: Prentice Hall PTR, 1996
Dubrova, Elena [Author]

Fault-tolerant design

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY; Heidelberg [u.a.]: Springer, c 2013
Adamski, Marian Andrzej [Other]; Barkalov, Alexander [Other]; Adamski, Marian [Editor]

Design of digital systems and devices

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2011

Published in: Lecture notes in electrical engineering ; 7900
Dal Cin, Mario [Editor] ; EDCC 5 2005 Budapest

Dependable computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20 - 22, 2005; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3463
Lemos, Rogério de [Editor] ; LADC 1 2003 São Paulo

Dependable computing : first Latin-American symposium ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2847
Bondavalli, Andrea [Editor]; Brasileiro, Francisco [Other]; Rajsbaum, Sergio [Other] ; LADC 3 2007 Morelia

Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4746
Maziero, Carlos Alberto [Editor] ; LADC 2 2005 Salvador

Dependable computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25 - 28, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3747
Leue, Stefan [Editor]; Merino, Pedro [Other] ; FMICS 12 2007 Berlin

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4916
Alpuente, María [Editor]; Cook, Byron [Other]; Joubert, Christophe [Other] ; FMICS 14 2009 Eindhoven

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5825
Cofer, Darren [Editor]; Fantechi, Alessandro [Other] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5596
Brosch, Franz [Author]

Integrated Software Architecture-Based Reliability Prediction for IT Systems : Characterization and applications

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: KIT Scientific Publishing, 2012

Published in: The Karlsruhe series on software design and quality ; 9
Lemos, Rogério le [Author] ; Camargo Jr., Joao Batista [Other]; Silva Weber, Taisy [Other]

Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2847
Bondavalli, Andrea [Other]; Brasileiro, Francisco [Other]; Rajsbaum, Sergio [Other]

Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

Published in: Lecture notes in computer science ; 4746
Dal Cin, Mario [Other]; Kaâniche, Mohamed [Other]; Pataricza, András [Other]

Dependable Computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3463
Andrade, Aline Maria Santos [Other]; Assis Silva, Flávio Morais de [Other]; Maziero, Carlos Alberto [Other]; Silva, João Gabriel [Other]

Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3747
Huang, Pengcheng [Author] ; Thiele, Lothar [Contributor]; Burns, Alan [Contributor]

Design and Optimization of Mixed-Criticality Systems

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2016
Cofer, Darren [Other]; Fantechi, Alessandro [Other]

Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5596
Alpuente, María [Author] ; Cook, Byron [Other]; Joubert, Christophe [Other]

Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

Published in: Lecture notes in computer science ; 5825
Leue, Stefan [Other]; Merino, Pedro [Other]

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Published in: Lecture notes in computer science ; 4916
Giannopoulou, Georgia [Author] ; Thiele, Lothar [Contributor]; Pellizzoni, Rodolfo [Contributor]

Implementation of Mixed-Criticality Applications on Multi-Core Architectures

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH Zürich, 2017

Published in: TIK-Schriftenreihe, 167

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication