Skip to contents

Kordon, Fabrice [Editor]; Kermarrec, Yvon [Other] ; Ada Europe, International Conference on Reliable Software Technologies 14 2009 Brest, Finistère

Reliable software technologies - Ada-Europe 2009 : 14th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 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 ; 5570
Real, Jorge [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 15 2010 Valencia

Reliable software technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010 ; 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, 2010

Published in: Lecture notes in computer science ; 6106
Kordon, Fabrice [Editor]; Vardanega, Tullioi [Other] ; International Conference on Reliable Software Technologies 13 2008 Venedig

Reliable software technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 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 ; 5026
Abdennadher, Nabil [Editor]; Kordon, Fabrice [Other] ; International Conference on Reliable Software Technologies 12 2007 Genf

Reliable software technologies - Ada-Europe 2007 : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 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 ; 4498
Vardanega, Tullio [Editor] ; International Conference on Reliable Software Technologies 10 2005 York

Reliable software technology - Ada-Europe 2005 : 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20 - 24, 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 ; 3555
Rosen, Jean-Pierre [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 8 2003 Toulouse

Reliable software technologies : 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 ; 2655
Blieberger, Johann [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 7 2002 Wien

Reliable software technologies : 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, 2002

Published in: Lecture notes in computer science ; 2361
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
Pinho, Luis Miguel [Editor] ; International Conference on Reliable Software Technologies 11 2006 Porto

Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5 - 9, 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 ; 4006
Llamosí, Albert [Editor]; Strohmeier, Alfred [Other] ; Ada Europe, International Conference on Reliable Software Technologies 9 2004 Palma de Mallorca

Reliable software technologies : Ada-Europe 2004, 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14 - 18, 2004 ; 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, 2004

Published in: Lecture notes in computer science ; 3063
Giese, Holger [Editor]; Karsai, Gabor [Other]; Lee, Edward A. [Other]; Rumpe, Bernhard [Other]; Schätz, Bernhard [Other] ; International Workshop on Model Based Enginneering of Embedded Real Time Systems 2007 Dagstuhl

Model-based engineering of embedded real-time systems : international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 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, 2010

Published in: Lecture notes in computer science ; 6100
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
Keller, Hubert B. [Editor] ; Ada Europe, International Conference on Reliable Software Technologies 5 2000 Potsdam

Reliable software technologies Ada-Europe 2000 : 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, 2000

Published in: Lecture notes in computer science ; 1845
González Harbour, Michael [Editor] ; International Conference on Reliable Software Technologies 4 1999 Santander, Ada Europe

Reliable software technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7 - 11, 1999 ; 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, 1999

Published in: Lecture notes in computer science ; 1622
Romanovsky, Alexander [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 16 2011 Edinburgh

Reliable software technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 ; 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, 2011

Published in: Lecture notes in computer science ; 6652
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

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