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]
Abstract is missing.