| emsoft | participants

Paul L. Jones

EMSOFT 2011: 11th International Conference on Embedded Software

Safety-Assured Development of the GPCA Infusion Pump Software

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