Safetyassured development of the GPCA infusion pump software. (2011)

by B Kim, A Ayoub, O Sokolsky, I Lee, P Jones, Y Zhang, R Jetley
Venue:In ACM international conference on Embedded software, EMSOFT ’11.