Search Results - Tonetta, Stefano

  • Showing 1 – 11 results of 11
Filter by
  1. 1
    Cover Image

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

    Published 2023
    Other Authors: “…Tonetta, Stefano…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  2. 2
    Cover Image

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

    Published 2022
    Other Authors: “…Tonetta, Stefano…”
    Read online (freely available)
    Electronic Conference Proceedings eBook


    Saved in:
  3. 3
    Cover Image

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

    Published 2023
    Other Authors: “…Tonetta, Stefano…”
    Read online
    Electronic eBook


    Saved in:
  4. 4
    Cover Image

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

    Published 2017
    Other Authors: “…Tonetta, Stefano…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  5. 5
    Cover Image

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

    Published 2017
    Other Authors: “…Tonetta, Stefano…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  6. 6
    Cover Image

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

    Published 2023
    Other Authors: “…Tonetta, Stefano…”
    Read online
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

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

    Published 2017
    Other Authors: “…Tonetta, Stefano…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  8. 8
    Cover Image

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

    Published 2017
    Other Authors: “…Tonetta, Stefano…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  9. 9
    Cover Image

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

    Published 2023
    Other Authors: “…Tonetta, Stefano…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  10. 10
    Cover Image

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

    Published 2023
    Other Authors: “…Tonetta, Stefano…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  11. 11
    Cover Image

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

    Published 2023
    Other Authors: “…Tonetta, Stefano…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:

Search Tools: