A Survey on the Verification and Validation of Artificial Pancreas Software Systems.

Bara' Nazzal, Manar H. Alalfi, James R. Cordy

Browse the full ICST paper archive.