In Silico Clinical Trials of Biomedical Devices through Model Checking Driven Simulation: an Application to Artificial Pancreas for Patients with Type I Diabetes Mellitus
![Ritratto di Anonimo Ritratto di Anonimo](/sites/all/modules/uniroma1/sapienza_research/img/user_picture.png)
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma