Suchergebnisse - ISoLA Kerkira

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

    Leveraging applications of formal methods, verification and validation: discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings, part I

    Veröffentlicht 2016
    “… ISoLA Kerkira …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings, part II

    Veröffentlicht 2016
    “… ISoLA Kerkira …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings

    Veröffentlicht 2016
    “… ISoLA Kerkira …”
    Tagungsbericht Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings
    Part 1 - Foundational techniques

    Veröffentlicht 2016
    “… ISoLA Kerkira …”
    Tagungsbericht Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Leveraging applications of formal methods, verification and validation: 7th international symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings
    Part 2 - Discussion, Dissemination, applications

    Veröffentlicht 2016
    “… ISoLA Kerkira …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: