Filter your results
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
Online Verification through Model Checking of Medical Critical Intelligent Systems2020 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 Systems2020 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
|