Online Verification through Model Checking of Medical Critical Intelligent Systems.

Joo Martins, Raul Barbosa, Nuno Loureno, Jacques Robin, Henrique Madeira

Browse the full DSN paper archive.