Zoeken

U zocht naar: Auteur Willemse, Tim Filter Auteur: Willemse, Tim weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods for Industrial Critical Systems
thumbnail
Full text!
Auteur:
Larsen; Willemse, Tim
Uitgever:
Springer International Publishing 2019
Type:
e-book
2. 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,
thumbnail
Full text!
Auteur:
Peters, Kirstin; Willemse, Tim A. C.
Uitgever:
Springer International Publishing 2021
Type:
e-book
3. Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, the Netherlands, November 6-10, 2023, Proceedings
thumbnail
Full text!
Auteur:
Ferreira, Carla.; Willemse, Tim A. C.
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book