Skip to contents

  1. Gaukler, Maximilian [Author] ; Roppenecker, Günter [Degree supervisor]; Roppenecker, Günter [Other]; Ulbrich, Peter [Other]; Konigorski, Ulrich [Other] FAU University Press ein Imprint der Universität Erlangen-Nürnberg Universitätsbibliothek

    Safety Verification of Real-Time Control Systems with Flexible Timing

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Erlangen: FAU University Press, 2023

    Published in: FAU Studien aus der Elektrotechnik ; 20

  2. Gaukler, Maximilian [Author] ; Roppenecker, Günter [Degree supervisor]; Roppenecker, Günter [Other]; Ulbrich, Peter [Other]; Konigorski, Ulrich [Other] FAU University Press ein Imprint der Universität Erlangen-Nürnberg Universitätsbibliothek

    Safety Verification of Real-Time Control Systems with Flexible Timing

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Erlangen: FAU University Press, 2023

    Published in: FAU Studien aus der Elektrotechnik ; 20

  3. Gaukler, Maximilian [Author]

    Safety Verification of Real-Time Control Systems with Flexible Timing ; Sicherheitsverifikation von Echtzeitregelungssystemen mit flexiblem Timing

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg, 2023