Suchergebnisse - FMICS-AVoCS Turin

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

    Critical systems: formal methods and automated verification: joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017 : proceedings

    Veröffentlicht 2017
    “… FMICS-AVoCS Turin …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Critical systems: formal methods and automated verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings

    Veröffentlicht 2017
    “… FMICS-AVoCS Turin …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: