Suchergebnisse - Huisman, Marieke

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

    Concise Guide to Software Verification: From Model Checking to Annotation Checking
    von Huisman, Marieke, Wijs, Anton

    Veröffentlicht 2023
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Proceedings of the 8th international workshop on Specification and verification of component-based systems
    von Huisman, Marieke

    Veröffentlicht 2009
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Fundamental approaches to software engineering: 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

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


    Gespeichert in:
  4. 4
    Buchumschlag

    Formal techniques for distributed objects, components, and systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part I

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    Formal methods for industrial critical systems: 27th international conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Huisman, Marieke …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part II

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Formal methods: 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Fundamental approaches to software engineering: 20th international conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings

    Veröffentlicht 2017
    Weitere beteiligte Personen: “… Huisman, Marieke …”
    Tagungsbericht Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Formal methods: 24th international symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Tagungsbericht Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Formal techniques for distributed objects, components, and systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Tagungsbericht Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Special issue on automated verification of critical systems (AVoCS'14)

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Huisman, Marieke …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: