People
João Martins
Conference Articles
2020
(1 publication)- Martins, J. and Barbosa, R. and Lourenço, Nuno and Robin, J. and Madeira, H. , "Online Verification through Model Checking of Medical Critical Intelligent Systems", in Dependable and Secure Machine Learning (DSML 2020) co-located with the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) , 2020 [ DOI ]