Suchergebnisse - Sankaranarayanan, Sriram

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

    Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
    von Sankaranarayanan, Sriram

    Veröffentlicht 2019
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part II

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


    Gespeichert in:
  3. 3
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 29th International Conference, TACAS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 [sic!], Paris, France, April 22–27, 2023 : proceedings, part I

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


    Gespeichert in:
  4. 4
    Buchumschlag

    Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part I

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part II

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Automated Technology for Verification and Analysis: 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21–25, 2024, Proceedings, Part I

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Tagungsbericht Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings
    Part 1

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Tagungsbericht Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Paris, France, April 22-27, 2023 : proceedings
    Part 2

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Sankaranarayanan, Sriram …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: