acm sigbed
|
emsoft
|
participants
Yi Zhang
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
10.1145/2038642.2038667
https://repository.upenn.edu/cgi/viewcontent.cgi?article=1513&context=cis_papers