Luca Brunese, Francesco Mercaldo, Antonella Santone, Giuseppe Peter Vanoli. A Methodology based on Formal Methods for Thermal Ablation Area Detection. In Ronny Lorenz, Ana L. N. Fred, Hugo Gamboa, editors, Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, Volume 3: BIOINFORMATICS, Online Streaming, February 11-13, 2021. pages 191-194, SCITEPRESS, 2021. [doi]
Abstract is missing.