Search - Université Paris 1 Panthéon-Sorbonne Access content directly

Filter your results

2 Results
Structure: Internal structure identifier : 21137
Image document

Online Verification through Model Checking of Medical Critical Intelligent Systems

Joao Martins , Raul Barbosa , Nuno Lourenco , Jacques Robin , Henrique Madeira
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2020, Valencia, Spain. pp.32-37, ⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers hal-03967999v1

Online Verification through Model Checking of Medical Critical Intelligent Systems

Joao Martins , Raul Barbosa , Nuno Lourenco , Jacques Robin , Henrique Madeira
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2020, Valencia, Spain. pp.32-37, ⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers hal-03996783v1