Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
- 3 resultaten
Zoekresultaten
-
2022
Automatic Validation of Technical Requirements for a BIM model using Semantic Web Technologies
van den Bersselaar, E., Heinen, J. J., Chaudron, M. R. V. & Pauwels, P., 2022.Onderzoeksoutput: Bijdrage aan congres › Abstract › Academic
Open AccessBestand168 Downloads (Pure) -
Coq Community Survey 2022: Summary of Results
de Almeida Borges, A., Falleri, J.-R., Fehrle, J., Gallego Arias, E. J., Martin-Dorel, É., Palmskog, K., Serebrenik, A. & Zimmermann, T., 28 jun. 2022, (Geaccepteerd/In druk).Onderzoeksoutput: Bijdrage aan congres › Abstract › Academic
Open Access -
2018
Refining active learning to increase behavioral coverage
Aslam, K., Luo, Y., Schiffelers, R. R. H. & van den Brand, M. G. J., 3 okt. 2018. 1 blz.Onderzoeksoutput: Bijdrage aan congres › Abstract › Academic