PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Banci Bonamici F., Belmonte G., Ciancia V., Latella D., Massink M. Spatial model checking for medical imaging - Preliminary version. QUANTICOL TR-QC-02-2017. Technical report, 2017.
 
 
Abstract
(English)
The application of the topochecker spatial-model-cheker to medical imaging is described.
URL: http://blog.inf.ed.ac.uk/quanticol/files/2017/03/TR-QC-Spatial_model_checking_for_medical_imaging_10_03_2017.pdf
Subject Model logics
Spatial Logics
Spatial Model-checking
Medical Imaging
F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional