Suchergebnisse - Willemse, Tim A. C.

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

    Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Willemse, Tim A. C. …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Formal techniques for distributed objects, components, and systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Willemse, Tim A. C. 1974- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Formal methods for industrial critical systems: 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Willemse, Tim A. C. 1974- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Software engineering and formal methods: 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Willemse, Tim A. C. 1974- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: