Atif Mashkoor, Miklós Biró, Marton Dolgos, Peter Timar. Refinement-Based Development of Software-Controlled Safety-Critical Active Medical Devices. In Dietmar Winkler, Stefan Biffl, Johannes Bergsmann, editors, Software Quality. Software and Systems Quality in Distributed and Mobile Environments - 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings. Volume 200 of Lecture Notes in Business Information Processing, pages 120-132, Springer, 2015. [doi]
Abstract is missing.