Treffer 1 - 2 von 2 für Suche 'FMICS-AVoCS Turin', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    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

    Critical systems: formal methods and automated verification joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on A...

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

    Volltext
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Critical systems: formal methods and automated verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on A...

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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: