Open AccessA Methodology based on Formal Methods for Thermal Ablation Area Detection
Author(s) -
Luca Brunese,
Francesco Mercaldo,
Antonella Santone,
Giuseppe Peter Vanoli
Publication year - 2021
Publication title -
proceedings of the 15th international joint conference on biomedical engineering systems and technologies
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010394801910194
Subject(s) - thermal ablation , computer science , ablation , engineering , aerospace engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom