Zoeken

U zocht naar: Auteur Mavridou, Anastasia Filter Auteur: Mavridou, Anastasia weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings
thumbnail
Full text!
Auteur:
Lluch Lafuente, Alberto; Mavridou, Anastasia
Uitgever:
Springer International Publishing 2021
Type:
e-book
2. NASA Formal Methods
thumbnail
Full text!
Auteur:
Lee; Giannakopoulou, Dimitra; Jha, Susmit; Mavridou, Anastasia
Uitgever:
Springer International Publishing 2020
Type:
e-book