Zum Inhalt springen

  1. Saglietti, Francesca [Herausgeber:in]; Oster, Norbert [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 26 2007 Nürnberg

    Computer safety, reliability, and security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007 ; proceedings

    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.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4680

  2. Lill, Raimar [Verfasser:in] ; Saglietti, Francesca [Akademische:r Betreuer:in]; Saglietti, Francesca [Sonstige Person, Familie und Körperschaft]

    Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze

    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), 2021

  3. Saglietti, Francesca [Sonstige Person, Familie und Körperschaft]; Oster, Norbert [Sonstige Person, Familie und Körperschaft]

    Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4680

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

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

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

    Sicherheit in automobilen Bussystemen

    Aufsätze
    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.

    2004-01-01

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

  7. Lill, Raimar [Verfasser:in] ; Saglietti, Francesca [Akademische:r Betreuer:in]; Saglietti, Francesca [Sonstige Person, Familie und Körperschaft]

    Modellbasiertes Testen kooperierender autonomer Systeme auf Basis farbiger Petri-Netze

    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), 2021

  8. Meitner, Matthias [Verfasser:in] ; Saglietti, Francesca [Akademische:r Betreuer:in]

    Quantitative Bewertung der Softwarezuverlässigkeit unter Berücksichtigung der Komponenteninteraktionen

    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), 2015

  9. Pinte, Florin-Avram [Verfasser:in] ; Saglietti, Francesca [Akademische:r Betreuer:in]

    Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest

    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: Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012

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