Suchergebnisse - Wijs, Anton

  • Treffer 1 – 5 von 5
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

    Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Wijs, Anton …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Wijs, Anton …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Formal aspects of component software: 17th international conference, FACS 2021, virtual event, October 28–29, 2021, proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Wijs, Anton …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    iFM 2023: 18th international conference, iFM 2023, Leiden, The Netherlands, November 13-15, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Wijs, Anton …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: