Towards System Level Security Analysis of Artificial Pancreas Via UPPAAL-SMC.

Abdel-Latif Alshalalfah, Ghaith Bany Hamad, Otmane At Mohamed

Browse the full ISCAS paper archive.