Skip to contents

  2. 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

    Books
    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

  4. 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

    Books
    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

  5. 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

    Books
    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

  9. 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

    Books
    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

  10. Brim, Luboš [Other]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other]

    Formal Methods Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification

    Books
    View online
    Schließen
    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 ; 4346

  13. 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

    Books
    View online
    Schließen
    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

  17. Romanovsky, Alexander [Author] ; Vardanega, Tullio [Other]

    Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

    Books
    View online
    Schließen
    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 ; 6652

  18. 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

    Books
    View online
    Schließen
    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