1. Pyradiomics. Computational radiomics system to decode the radiographic phenotype. Cancer research;Anon,2017
2. COVID-19 diagnosis using state-of-the-art CNN architecture features and Bayesian optimization;Aslan;Comput. Biol. Med.,2022
3. Explainable deep learning for pulmonary disease and coronavirus COVID-19 detection from X-rays;Brunese;Comput. Methods Programs Biomed.,2020
4. Formal methods: State of the art and future directions;Clarke;ACM Comput. Surv.,1996
5. Model Checking;Clarke,2018