Treffer 1 – 6 von 6 für Suche 'Pasareanu, Corina S.', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Symbolic execution and quantitative reasoning applications to software safety and security

    Symbolic execution and quantitative reasoning applications to software safety and security von Păsăreanu, Corina S. ca. 20./21. Jhd

    Veröffentlicht 2020
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Symbolic Execution and Quantitative Reasoning Applications to Software Safety and Security

    Symbolic Execution and Quantitative Reasoning Applications to Software Safety and Security von Păsăreanu, Corina S.

    Veröffentlicht 2020

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Proceedings of the 2014 International Symposium on Software Testing and Analysis

    Proceedings of the 2014 International Symposium on Software Testing and Analysis von Păsăreanu, Corina S

    Veröffentlicht 2014
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Theoretical aspects of computing – ICTAC 2022 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022, proceedings

    Theoretical aspects of computing – ICTAC 2022 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Software engineering and formal methods 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings

    Software engineering and formal methods 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Formal methods 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Formal methods 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: