المؤلفون: Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

المصدر: HCII 2022-24th International Conference on Human-Computer Interaction, pp. 103–111, Online conference, 26/06-01/07/2022
Communications in Computer and Information Science ISBN: 9783031063879

مصطلحات موضوعية: Spatial logic model-checking, Spatial logics, Medical image analysis, Usability, User-entered design, Cognitive evaluation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3e304147d68bd70ad8c5d9248f7ef7e
https://openportal.isti.cnr.it/doc?id=people______::3e0984d9414dcea76a135ddb8647ee8d