A novel methodology for head and neck carcinoma treatment stage detection by means of model checking
作者：
Highlights：
•
摘要
ContextHead and neck cancers are diagnosed at an annual rate of 3% to 7% with respect to the total number of cancers, and 50% to 75% of such new tumours occur in the upper aerodigestive tract.
论文关键词：Head and neck,Cancer,Formal methods,Model checking,Radiomics
论文评审过程：Received 11 April 2020, Revised 18 February 2022, Accepted 23 February 2022, Available online 21 March 2022, Version of Record 23 March 2022.
论文官网地址：https://doi.org/10.1016/j.artmed.2022.102263
