Thermal ablation is the process related to the destruction of tissue by elevated tissue temperatures or depressed tissue temperatures. The machine exploited to perform for this process is named thermal ablator, requiring in input the area of the tissue to be subjected to treatment. In this proposal, with the aim to assist doctors in the process of the detection of the area targeted by the thermal ablator, we propose a methodology based on formal methods considering the representation of medical images in terms of formal and mathematical representations for the detection of the area.
|Titolo:||A methodology based on formal methods for thermal ablation area detection|
|Data di pubblicazione:||2021|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|