Zum Inhalt springen

  1. Barthe, Gilles [Herausgeber:in]; Grégoire, Benjamin [Sonstige Person, Familie und Körperschaft]; Huisman, Marieke [Sonstige Person, Familie und Körperschaft]; Lanet, Jean-Louis [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3956

  2. Borrione, Dominique [Herausgeber:in] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Erschienen in: Lecture notes in computer science ; 3725

  3. Bin, Eyal [Herausgeber:in]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4383

  4. Ur, Shmuel [Sonstige Person, Familie und Körperschaft] ; International Haifa Verification Conference 1 2005 Haifa

    Hardware and software verification and testing : first International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005 ; revised selected papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 3875

  5. Geist, Daniel [Herausgeber:in]; Tronci, Enrico [Sonstige Person, Familie und Körperschaft] ; CHARME 12 2003 L'Aquila

    Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg [u.a.]: Springer, 2003

    Erschienen in: Lecture notes in computer science ; 2860

  6. Plassan, Guillaume [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Borrione, Dominique [Mitwirkende:r]; Morin-Allory, Katell [Mitwirkende:r]

    Conclusive formal verification of clock domain crossing properties ; Vérification formelle concluante des propriétés des systèmes multi-horloges

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-03-28

  7. Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Ziv, Avi [Sonstige Person, Familie und Körperschaft]

    Hardware and Software, Verification and Testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4383

  8. Borrione, Dominique [Sonstige Person, Familie und Körperschaft]; Paul, Wolfgang [Sonstige Person, Familie und Körperschaft]

    Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3725

  9. Barthe, Gilles [Sonstige Person, Familie und Körperschaft]; Gregoire, Benjamin [Sonstige Person, Familie und Körperschaft]; Huisman, Marieke [Sonstige Person, Familie und Körperschaft]; Lanet, Jean-Luis [Sonstige Person, Familie und Körperschaft]

    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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3956

  10. Ur, Shmuel [Sonstige Person, Familie und Körperschaft]; Bin, Eyal [Sonstige Person, Familie und Körperschaft]; Wolfsthal, Yaron [Sonstige Person, Familie und Körperschaft]

    Hardware and Software, Verification and Testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 3875