Vol-2537⫷ Vol-2538 ⫸Vol-2539
urn:nbn:de:0074-2538-0


Vol-2538/paper3⫷Vol-2538/paper4⫸Vol-2538/paper5
Agostina Calabrese

Formal Verification of Biomedical Devices via In Silico Clinical Trials on Adversarial Scenarios