Judy Bowen, Steve Reeves. Modelling safety properties of interactive medical systems. In Peter Forbrig, Prasun Dewan, Michael Harrison, Kris Luyten, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013. pages 91-100, ACM, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.