Not registered as user yet
Name: Diego Latella
Country: Italy
Affiliation: ISTI-CNR, Pisa, Italy
Contributions
| FormaliSE 2021 | Feasibility of Spatial Model Checking for Nevus Segmentation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
Not registered as user yet
Name: Diego Latella
Country: Italy
Affiliation: ISTI-CNR, Pisa, Italy
Contributions
| FormaliSE 2021 | Feasibility of Spatial Model Checking for Nevus Segmentation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||