Zum Inhalt springen

  1. Barringer, Howard; Gabbay, Dov; Woods, John

    Lecture Notes in Computer Science: Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology

    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, 2005

    Erschienen in: Lecture Notes in Computer Science

  2. Barringer, Howard; Falcone, Yliès; Havelund, Klaus; Reger, Giles; Rydeheard, David

    FM 2012: Formal Methods: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

    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, 2012

    Erschienen in: FM 2012: Formal Methods

  3. Bujorianu, Marius C.; Bujorianu, Manuela L.; Barringer, Howard

    Lecture Notes in Computer Science: A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems

    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, 2009

    Erschienen in: Lecture Notes in Computer Science

  4. Barringer, Howard; Finkbeiner, Bernd; Gurevich, Yuri; Sipma, Henny

    Preface

    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.

    Elsevier BV, 2006

    Erschienen in: Electronic Notes in Theoretical Computer Science

  5. Barringer, Howard; Gough, Graham; Monahan, Brian; Williams, Alan

    Lecture Notes in Computer Science: Formal support for the ELLA hardware description language

    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, 1995

    Erschienen in: Lecture Notes in Computer Science

  6. Barringer, Howard; Fisher, Michael D.; Gough, Graham D.

    Automatic Verification Methods for Finite State Systems: Fair SMG and linear time model checking

    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, 1990

    Erschienen in: Automatic Verification Methods for Finite State Systems

  7. Barringer, Howard; Fisher, Michael; Gabbay, Dov; Gough, Graham; Owens, Richard

    Lecture Notes in Computer Science: MetateM: A framework for programming in temporal logic

    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, 1990

    Erschienen in: Lecture Notes in Computer Science