Skip to contents

  1. Lill, Raimar [Author] ; Saglietti, Francesca [Degree supervisor]; Saglietti, Francesca [Other]

    Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze

    Books
    View online
    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), 2021

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

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

  4. Wolf, Marko [Author]; Weimerskirch, André [Author]; Paar, Christof [Author]; Plödereder, Erhard [Author]; Keller, Hubert B. [Author]; von Sommerfeld, Hans [Author]; Dencker, Peter [Author]; Tonndorf, Michael [Author]; Saglietti, Francesca [Author]

    Sicherheit in automobilen Bussystemen

    Articles
    View online
    Close

    Bookmarks

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

    2004-01-01

    Published in: Automotive - safety & security 2004 : Sicherheit und Zuverlässigkeit für automobile Informationstechnik

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