Skip to contents

  1. Spisländer, Marc [Author]

    Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen ; Structural Testing Techniques for the Verification of Existential Temporal Logic Formulae in Extended Finite State Machines

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

  2. Trapp, Mario [Editor]; Saglietti, Francesca [Editor]; Spisländer, Marc [Editor]; Bitsch, Friedemann [Editor]

    Computer Safety, Reliability, and Security : 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings - [1st ed. 2022.]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Published in: Lecture Notes in Computer Science ; 13414 - Springer eBook Collection

  3. Saglietti, Francesca [Author]; Sardy, Loui Al [Author]; Spisländer, Marc [Author]; Neubaum, Andreas [Author] ; Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl für Software Engineering

    SMARTEST - „Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung – Modellbasierte Teststrategien" : Abschlussbericht = SMARTEST - „Evaluation of Testing Techniques for IT-Security Checks in Automatic Control Software for Nuclear Power Plants – Model-based Testing Strategies“

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [Erlangen]: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 09.04.2019

  4. Spisländer, Marc [Author] ; Freiling, Felix C. [Degree supervisor]; Saglietti, Francesca [Other]

    Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2018