João Martins, Raul Barbosa, Nuno Lourenço 0002, Jacques Robin, Henrique Madeira. Online Verification through Model Checking of Medical Critical Intelligent Systems. In 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2020, Valencia, Spain, June 29 - July 2, 2020. pages 32-37, IEEE, 2020. [doi]
@inproceedings{MartinsB0RM20,
title = {Online Verification through Model Checking of Medical Critical Intelligent Systems},
author = {João Martins and Raul Barbosa and Nuno Lourenço 0002 and Jacques Robin and Henrique Madeira},
year = {2020},
doi = {10.1109/DSN-W50199.2020.00015},
url = {https://doi.org/10.1109/DSN-W50199.2020.00015},
researchr = {https://researchr.org/publication/MartinsB0RM20},
cites = {0},
citedby = {0},
pages = {32-37},
booktitle = {50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2020, Valencia, Spain, June 29 - July 2, 2020},
publisher = {IEEE},
isbn = {978-1-7281-7263-7},
}