(Q51325315)
Statements
1 reference
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. (English)
1 reference
Christopher J Langmead
1 reference
Sumit Kumar Jha
1 reference
Raj Gautam Dutta
1 reference
Susmit Jha
1 reference
Emily Sassano
1 reference
1 January 2012
1 reference
8
1 reference
3-4
1 reference
263-285
1 reference
Identifiers
1 reference