12 citations · 29 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SE2017★ 10 cited
Model-Driven Development of High-Assurance Active Medical Devices
Atif Mashkoor
Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification reg…
cs.SE2017★ 12 cited
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
Atif Mashkoor, Miklos Biro
The use of embedded software is advancing in modern medical devices, so does its capabilities and complexity. This paradigm shift brings many challenges such as an increased rate o…