Zum Inhalt springen

  1. Spisländer, Marc [Verfasser:in]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  3. Saglietti, Francesca [Verfasser:in]; Sardy, Loui Al [Verfasser:in]; Spisländer, Marc [Verfasser:in]; Neubaum, Andreas [Verfasser:in] ; 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“

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  4. Spisländer, Marc [Verfasser:in] ; Freiling, Felix C. [Akademische:r Betreuer:in]; Saglietti, Francesca [Sonstige Person, Familie und Körperschaft]

    Strukturelle Testverfahren zur Verifikation existentieller temporallogischer Formeln in erweiterten endlichen Zustandsmaschinen

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Neubaum, Andreas; Al Sardy, Loui; Spisländer, Marc; Saglietti, Francesca; Biener, Yves

    Lecture Notes in Computer Science: Testing for IT Security: A Guided Search Pattern for Exploitable Vulnerability Classes

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2021

    Erschienen in: Lecture Notes in Computer Science (2021), Seite 105-116