Cyber threat analysis and detection
cun id:
1382
METODI FORMALI DELL'INFORMATICA
Model Based Design of Autonomous Cyber Physical Systems of Systems
In Silico Clinical Trials of Biomedical Devices through Model Checking Driven Simulation: an Application to Artificial Pancreas for Patients with Type I Diabetes Mellitus
Capturing complex medical strategies for decision support via active learning, model checking and gamification
Therapy synthesis for personalized treatment of perinatal depression