Safety-assured development of the GPCA infusion pump software.

BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley

Browse the full EMSOFT paper archive.