Skip to contents

Margaria-Steffen, Tiziana [Editor] ; ISoLA 4 2010 Heraklion

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraclion, Crete, Greece, October 18 - 21, 2010, proceedings

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 20XX-

Published in: Lecture notes in computer science ; .
Salaün, Gwen [Editor]; Schätz, Bernhard [Other] ; FMICS 16 2011 Trient

Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 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 ; 6959
Winther, Rune [Editor] ; SAFECOMP 24 2005 Fredrikstad

Computer safety, reliability, and security : 24th international conference, SAFECOMP 2005, Fredrikstad, Norway, September 28 - 30, 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 ; 3688
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
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
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
Lang, Frédéric [Author] ; Flammini, Francesco [Editor]

Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham [u.a.]: Springer, 2014

Published in: Lecture notes in computer science ; 8718
Pecheur, Charles [Author] ; Dierkes, Michael [Editor]

Formal Methods for Industrial Critical Systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 8187
Stoelinga, Mariëlle [Author] ; Pinger, Ralf [Other]

Formal Methods for Industrial Critical Systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. 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, 2012

Published in: Lecture notes in computer science ; 7437
Cavalcanti, Ana [Editor]; Seceleanu, Cristina [Editor]

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, 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.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10471
ter Beek, Maurice H. [Editor]; Gnesi, Stefania [Editor]; Knapp, Alexander [Editor]

Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9933
Nuñez, Manuel [Editor]; Güdemann, Matthias [Editor]

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Cham [u.a.]: Springer, 2015

Published in: Lecture notes in computer science ; 9128
Salaün, Gwen [Author] ; Schätz, Bernhard [Other]

Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. 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, 2011

Published in: Lecture notes in computer science ; 6959
Avgeriou, Paris [Author]

Software Engineering for Resilient Systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

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

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7527
Dahll, Gustav [Other]; Gran, Bjoern Axel [Other]; Winther, Rune [Other]

Computer Safety, Reliability, and Security (vol. # 3688) : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 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 ; 3688
Buth, Bettina [Author] ; Rabe, Gerd [Other]; Seyfarth, Till [Other]

Computer Safety, Reliability, and Security : 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 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 ; 5775
Saglietti, Francesca [Other]; Oster, Norbert [Other]

Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 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 ; 4680
Górski, Janusz [Other]

Computer Safety, Reliability, and Security (vol. # 4166) : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, 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, 2006

Published in: Lecture notes in computer science ; 4166
Hutchison, David [Other]; Pandu Rangan, C. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Sujan, Mark-Alexander [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Harrison, Michael D. [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]

Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 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, 2008

Published in: Lecture notes in computer science ; 5219

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