METODI FORMALI DELL'INFORMATICA | Ricerc@Sapienza

METODI FORMALI DELL'INFORMATICA

cun id:

1382

Cyber threat analysis and detection

Submitted by Anonimo (not verified) on Tue, 19/04/2022 - 10:29

Model Based Design of Autonomous Cyber Physical Systems of Systems

Submitted by Anonimo (not verified) on Tue, 19/04/2022 - 10:18

In Silico Clinical Trials of Biomedical Devices through Model Checking Driven Simulation: an Application to Artificial Pancreas for Patients with Type I Diabetes Mellitus

Submitted by Anonimo (not verified) on Tue, 19/04/2022 - 07:41

Capturing complex medical strategies for decision support via active learning, model checking and gamification

Submitted by Anonimo (not verified) on Wed, 13/04/2022 - 12:45

Therapy synthesis for personalized treatment of perinatal depression

Submitted by Anonimo (not verified) on Mon, 11/04/2022 - 12:48

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma