High-Confidence Medical Device Software Development
2015 ◽
Vol 9
(4)
◽
pp. 309-391
◽
Zhihao Jiang
◽
Rahul Mangharam
Zhihao Jiang
◽
Rahul Mangharam
2017 ◽
Vol 30
(7)
◽
pp. e1929
Özden Özcan-Top
◽
Fergal McCaffery
Fergal McCaffery
◽
Kitija Trektere
◽
Ozden Ozcan-Top
Ken Wong
◽
Christine Callaghan
Oisín Cawley
◽
Ita Richardson
◽
Xiaofeng Wang
2009 ◽
Vol 6
(2)
◽
pp. 1-7
Arnab Ray
◽
Raoul Jetley
◽
Paul Jones
Martin Mc Hugh
◽
Oisin Cawley
◽
Fergal McCaffcry
◽
Ita Richardson
◽
Xiaofeng Wang
2006 ◽
Vol 39
(4)
◽
pp. 33-38
◽
Insup Lee
◽
G.J. Pappas
◽
R. Cleaveland
◽
J. Hatcliff
◽
B.H. Krogh
◽
...
Stéphanie Py
◽
Thomas Lihoreau
◽
Marc Puyraveau
◽
Sylvain Grosdemouge
◽
Nadia Butterlin
◽
...