Online Verification through Model Checking of Medical Critical Intelligent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'João Martins' in GoogleThis author has not been identified. Look up 'Raul Barbosa' in GoogleThis author has not been identified. Look up 'Nuno Lourenço 0002' in GoogleThis author has not been identified. Look up 'Jacques Robin' in GoogleThis author has not been identified. Look up 'Henrique Madeira' in Google

runs on WebDSL