Zum Inhalt springen

  1. Flammini, Francesco [Herausgeber:in]; Bologna, Sandro [Sonstige Person, Familie und Körperschaft]; Vittorini, Valeria [Sonstige Person, Familie und Körperschaft] ; SAFECOMP 30 2011 Neapel

    Computer safety, reliability, and security : 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 ; 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, 2011

    Erschienen in: Lecture notes in computer science ; 6894

  2. Lang, Frédéric [Verfasser:in] ; Flammini, Francesco [Herausgeber:in]

    Formal Methods for Industrial Critical Systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. 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.

    Cham [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8718

  3. Flammini, Francesco [Verfasser:in] ; Bologna, Sandro [Sonstige Person, Familie und Körperschaft]; Vittorini, Valeria [Sonstige Person, Familie und Körperschaft]

    Computer Safety, Reliability, and Security : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6894

  4. Pani, Subhendu Kumar [Herausgeber:in]; Dash, Sujata [Herausgeber:in]; dos Santos, Wellington P. [Herausgeber:in]; Chan Bukhari, Syed Ahmad [Herausgeber:in]; Flammini, Francesco [Herausgeber:in]

    Assessing COVID-19 and Other Pandemics and Epidemics using Computational Modelling and Data Analysis - [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.

  5. Benkendorff, Leonard [Verfasser:in]; Dotti, Francesco Flammini [Verfasser:in]; Stock, Katja [Verfasser:in]; Cai, Maxwell Xu [Verfasser:in]; Spurzem, Rainer [Verfasser:in]

    Hot Jupiter formation in dense star clusters

    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.

    February 2024

    Erschienen in: Royal Astronomical Society: Monthly notices of the Royal Astronomical Society ; 528(2024), 2 vom: Feb., Seite 2834-2850

  6. Marrone, Stefano [Herausgeber:in]; De Sanctis, Martina [Herausgeber:in]; Kocsis, Imre [Herausgeber:in]; Adler, Rasmus [Herausgeber:in]; Hawkins, Richard [Herausgeber:in]; Schleiß, Philipp [Herausgeber:in]; Nardone, Roberto [Herausgeber:in]; Flammini, Francesco [Herausgeber:in]; Vittorini, Valeria [Herausgeber:in]

    Dependable Computing – EDCC 2022 Workshops : SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 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: Communications in Computer and Information Science ; 1656

  17. Fantechi, Alessandro; Flammini, Francesco; Gnesi, Stefania

    Formal methods for railway control systems

    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 Science and Business Media LLC, 2014

    Erschienen in: International Journal on Software Tools for Technology Transfer, 16 (2014) 6, Seite 643-646

  18. Fantechi, Alessandro; Flammini, Francesco; Gnesi, Stefania

    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Formal Methods for Intelligent Transportation Systems

    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 Berlin Heidelberg, 2012

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012), Seite 187-189