Suchergebnisse - Tonetta, Stefano

  • Treffer 1 – 11 von 11
Treffer filtern
  1. 1
    Buchumschlag

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, revised selected papers

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    29th International Symposium on Temporal Representation and Reasoning: TIME 2022, November 7–9, 2022, Virtual Conference

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Computer Safety, Reliability, and Security: 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Computer safety, reliability, and security: SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Computer safety, reliability, and security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Computer safety, reliability, and security: 36th international conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Computer safety, reliability, and security: SAFECOMP 2017 workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS. Trento, Italy, September 12, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Verified software: theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 : revised selected papers

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Computer safety, reliability, and security: 42nd international conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Computer safety, reliability, and security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Tonetta, Stefano …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: