Skip to contents

  2. Usman, Awais [Author] ; Theel, Oliver [Degree supervisor]; Kramer, Oliver [Degree supervisor]

    Highly available data replication strategies exploiting data semantics, operation types and finite state space

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oldenburg: BIS der Universität Oldenburg, 19 Dezember 2023

  8. Boelsen, Tobias [Author] ; Theel, Oliver [Degree supervisor]; Banse, Marvin [Degree supervisor]

    Entwurf und Realisierung eines verteilten Sensornetzwerkes zur Optimierung von Lüftungskonzepten für Bildungseinrichtungen als Infektionsschutzmaßnahme vor SARS-CoV-2

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oldenburg: BIS der Universität Oldenburg, 2022

  20. Mahdi, Ahmed [Author] ; Fränzle, Martin [Degree supervisor]; Becker, Bernd [Degree supervisor]; Theel, Oliver [Degree supervisor]

    Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oldenburg: BIS der Universität Oldenburg, 2017