Zum Inhalt springen

  1. Holzmann, Gerard J.

    To Code Is Human

    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), 2015

    Erschienen in: IEEE Software

  2. Holzmann, Gerard J.

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

    Association for Computing Machinery (ACM), 2014

    Erschienen in: Communications of the ACM

  3. Holzmann, Gerard J.

    Tools and Algorithms for the Construction and Analysis of Systems: Reliable Software Development: Analysis-Aware Design

    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.

    Springer Berlin Heidelberg, 2011

    Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems

  4. Holzmann, Gerard J.

    Conquering Complexity

    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), 2007

    Erschienen in: Computer

  5. Holzmann, Gerard J.

    The logic of bugs

    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.

    Association for Computing Machinery (ACM), 2002

    Erschienen in: ACM SIGSOFT Software Engineering Notes

  6. Holzmann, Gerard J.

    Theoretical and Practical Aspects of SPIN Model Checking: The Engineering of a Model Checker: the Gnu i-Protocol Case Study Revisited

    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.

    Springer Berlin Heidelberg, 1999

    Erschienen in: Theoretical and Practical Aspects of SPIN Model Checking