Skip to contents

Dietrich, Manfred [Editor] ; Informationstechnische Gesellschaft, Informationstechnische Gesellschaft, Gesellschaft für Informatik, Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik, Fachtagung Zuverlässigkeit und Entwurf 2013 Dresden

Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden - [Online-Ressource]

Close

Bookmarks

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

Berlin; Offenbach: VDE-Verl., 2013

Published in: Informationstechnische Gesellschaft: ITG-Fachbericht ; 24400
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
Kordon, Fabrice [Editor]; Sztipanovits, Janos [Other] ; Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms 12, 2005, Laguna Beach, Calif

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; 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, 2007

Published in: Lecture notes in computer science ; 4322
Dietrich, Manfred [Editor] ; Informationstechnische Gesellschaft, Informationstechnische Gesellschaft, Gesellschaft für Informatik, Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik, Fachtagung Zuverlässigkeit und Entwurf 2013 Dresden

Zuverlässigkeit und Entwurf : 7. ITG/GI/GMM-Fachtagung vom 24. bis 26. September 2013 in Dresden

View online
Schließen

Close

Bookmarks

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

Berlin; Offenbach: VDE-Verl., 2013

Published in: Informationstechnische Gesellschaft: ITG-Fachbericht ; 244,buch
Buth, Bettina [Editor]; Rabe, Gerd [Other]; Seyfarth, Till [Other] ; SAFECOMP 28 2009 Hamburg

Computer safety, reliability, and security : 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 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 ; 5775
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
Harrison, Michael D. [Other]; Sujan, Mark-Alexander [Other]; Harrison, Michael Douglas [Editor] ; SAFECOMP 27 2008 Newcastle-upon-Tyne

Computer safety, reliability, and security : 27th international conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008 ; 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, 2008

Published in: Lecture notes in computer science ; 5219
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
Kordon, Fabrice [Editor]; Sokolsky, Oleg [Other] ; Monterey Workshop 13 2006 Paris

Composition of Embedded Systems : Scientific and Industrial Issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 ; 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, 2007

Published in: Lecture notes in computer science ; 4888
Górski, Janusz [Editor] ; SAFECOMP 25 2006 Danzig

Computer safety, reliability, and security : 25th international conference, SAFECOMP 2006, Gdansk, Poland, September 27 - 29, 2006 ; 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, 2006

Published in: Lecture notes in computer science ; 4166
Saglietti, Francesca [Editor]; Oster, Norbert [Other] ; SAFECOMP 26 2007 Nürnberg

Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 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 ; 4680
Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; 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, 2007

Published in: Lecture notes in computer science ; 4346
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
ARCS 31. 2018 Braunschweig

ARCS Workshop 2018: 31th International Conference on Architecture of Computing Systems : 9-12 April 2018

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

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

[Frankfurt am Main]: VDE, 2018
ARCS 30. 2017 Wien

ARCS 2017: 30th International Conference on Architecture of Computing Systems : 3-6 April 2017

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

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

[Frankfurt am Main]: VDE, 2017
ARCS 29. 2016 Nürnberg

ARCS 2016: 29th International Conference on Architecture of Computing Systems : 4-7 April 2016

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

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

[Frankfurt am Main]: VDE, 2016 ; [Piscataway, NJ]: IEEE, 2016
ARCS 28. 2015 Porto, Portugal

ARCS 2015 - the 28th International Conference on Architecture of Computing Systems : proceedings : 24-27 March 2015

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

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

[Piscataway, NJ]: IEEE, 2015
ARCS 27. 2014 Lübeck

ARCS 2014 : 2014 Workshop Proceedings on Architecture of Computing Systems : 25-28 Feb. 2014

View online
Schließen

Access

... to E-book via IEEE Xplore (Volltext)

Close

Bookmarks

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

[Piscataway, NJ]: IEEE, 2014
Kordon, Fabrice [Author] ; Sokolsky, Oleg [Editor] Monterey Workshop 13 2006 Paris

Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 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, 2008

Published in: Lecture notes in computer science ; 4888

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