Datasets
- 1 resultaten
Zoekresultaten
-
mCRL2 models, requirements and test logs for the EULYNX Point interface case study
Bouwman, M. (Ontwerper) & van der Wal, D. (Ontwerper), Zenodo, 30 okt. 2021
Dataset