Feasibility of Spatial Model Checking for Nevus Segmentation (VoxLogicA specification and required software)

Gina Belmonte; Giovanna Broccia; Vincenzo Ciancia; Diego Latella; Mieke Massink

doi:10.5281/zenodo.4603573

Published March 14, 2021 | Version v1

Software Open

Feasibility of Spatial Model Checking for Nevus Segmentation (VoxLogicA specification and required software)

1. USL Toscana Nordovest Lucca
2. Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - Consiglio Nazionale delle Ricerche

Logical specification for nevus segmentation - see the paper "Feasibility of Spatial Model Checking for Nevus Segmentation" and the site http://www.voxlogica.com.

Files

Feasibility_of_Spatial_Model_Checking_for_Nevus_Segmentation.zip

Files (260.3 MB)

Name	Size	Download all
Feasibility_of_Spatial_Model_Checking_for_Nevus_Segmentation.zip md5:c1201d8e2c087731645b7b6f7a0ebc6c	260.3 MB	Preview Download

Views

Downloads

Show more details

	All versions	This version
Views	36	36
Downloads	20	20
Data volume	5.2 GB	5.2 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: March 14, 2021
Modified: March 14, 2021

Feasibility of Spatial Model Checking for Nevus Segmentation (VoxLogicA specification and required software)

Authors/Creators

Description

Files

Feasibility_of_Spatial_Model_Checking_for_Nevus_Segmentation.zip

Files (260.3 MB)