Performance analysis of lightweight CNN models to segment infectious lung tissues of COVID-19 cases from tomographic images