Skip to contents

  1. Barthe, Gilles [Editor]; Grégoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Louis [Other] ; CASSIS 2 2005 Nizza

    Construction and analysis of safe, secure, and interoperable smart devices : second international workshop, CASSIS 2005, Nice, France, March 8 - 11, 2005 ; 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, 2006

    Published in: Lecture notes in computer science ; 3956

  2. Borrione, Dominique [Editor] ; International Federation for Information Processing Working Group Very Large Scale Integration, CHARME 13 2005 Saarbrücken

    Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3 - 6, 2005 ; 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, 2005

    Published in: Lecture notes in computer science ; 3725

  3. Bin, Eyal [Editor]; Ziv, Avi [Other]; Ur, Shmuel [Other] ; International Haifa Verification Conference 2 2006 Haifa

    Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 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 ; 4383

  7. Bin, Eyal [Other]; Ur, Shmuel [Other]; Ziv, Avi [Other]

    Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 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: Springer Berlin Heidelberg, 2007

    Published in: Lecture notes in computer science ; 4383

  9. Barthe, Gilles [Other]; Gregoire, Benjamin [Other]; Huisman, Marieke [Other]; Lanet, Jean-Luis [Other]

    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956) : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, 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: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 3956

  10. Ur, Shmuel [Other]; Bin, Eyal [Other]; Wolfsthal, Yaron [Other]

    Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, 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: Springer Berlin Heidelberg, 2006

    Published in: Lecture notes in computer science ; 3875