Feasibility of Spatial Model Checking for Nevus Segmentation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink. Feasibility of Spatial Model Checking for Nevus Segmentation. In 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021. pages 1-12, IEEE, 2021. [doi]

This author has not been identified. Look up 'Gina Belmonte' in GoogleThis author has not been identified. Look up 'Giovanna Broccia' in GoogleThis author has not been identified. Look up 'Vincenzo Ciancia' in GoogleThis author has not been identified. Look up 'Diego Latella' in GoogleThis author has not been identified. Look up 'Mieke Massink' in Google

runs on WebDSL