Suchergebnisse - Sokolsky, Oleg

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

    Automated technology for verification and analysis: 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020 : proceedings

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Sokolsky, Oleg …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    From reactive systems to cyber-physical systems: essays dedicated to Scott A. Smolka on the occasion of his 65th birthday

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Sokolsky, Oleg …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Dependable software engineering: theories, tools, and applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings

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


    Gespeichert in:

Suchwerkzeuge: