Old Web
English
Sign In
Acemap
>
Paper
>
Safety-assured development of the GPCA infusion pump software
Safety-assured development of the GPCA infusion pump software
2011
Kim
Ayoub
Sokolsky
Lee
Jones
Zhang
Jetley
Keywords:
Software
code synthesis
model based engineering
Infusion pump
Computer science
Software engineering
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]