Zum Inhalt springen

  1. Holzmann, Gerard J. [VerfasserIn] ; Pehrson, Björn [Sonstige Person, Familie und Körperschaft]

    The early history of data networks

    Bücher
    Schließen

    Merkliste

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

    Los Alamitos, Calif. [u.a.]: IEEE Computer Soc. Press, 1995 ; Los Alamitos, CA: IEEE Computer Society Press, 1995

  2. Leue, Stefan [Sonstige Person, Familie und Körperschaft]; Holzmann, Gerard J. [Sonstige Person, Familie und Körperschaft]

    v-Promela - A Visual, Object-Oriented Language for SPIN

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Konstanz: Bibliothek der Universität Konstanz, 1999

  3. Bobaru, Mihaela [VerfasserIn] ; Havelund, Klaus [HerausgeberIn]; Holzmann, Gerard J. [HerausgeberIn]; Joshi, Rajeev [HerausgeberIn]

    NASA Formal Methods : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

    Bücher
    Online ansehen
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6617

  4. Peled, Doron [MitwirkendeR]; Pratt, Vaughan R [MitwirkendeR]; Holzmann, Gerard J. [MitwirkendeR] ; DIMACS (Group)

    Partial order methods in verification : DIMACS workshop July 24-26, 1996

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Providence, R.I.: American Mathematical Society, 1997

    Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 29

  5. Grégoire, Jean-Charles [MitwirkendeR]; Holzmann, Gerard J. [MitwirkendeR]; Peled, Doron [MitwirkendeR]

    The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Providence, R.I.: American Mathematical Society, 1997

    Erschienen in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 32

  6. Holzmann, Gerard J.

    Right Code

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2021

    Erschienen in: IEEE Software

  7. Holzmann, Gerard J.

    Predicting the Past

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2020

    Erschienen in: IEEE Software

  8. Holzmann, Gerard J.

    Test Fatigue

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2020

    Erschienen in: IEEE Software

  9. Holzmann, Gerard J.

    Code Mining

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2019

    Erschienen in: IEEE Software

  10. Holzmann, Gerard J.

    Code Overload

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2019

    Erschienen in: IEEE Software

  11. Holzmann, Gerard J.

    Does Not Compute

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2019

    Erschienen in: IEEE Software

  12. Holzmann, Gerard J.

    Code Vault

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2018

    Erschienen in: IEEE Software

  13. Holzmann, Gerard J.

    Curve Balls

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Institute of Electrical and Electronics Engineers (IEEE), 2018

    Erschienen in: IEEE Software