𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formal verification of software-based medical devices considering medical guidelines

✍ Scribed by Zamira Daw, Rance Cleaveland, Marcus Vetter

Book ID: 120878901
Publisher: Springer-Verlag
Year: 2013
Tongue: English
Weight: 683 KB
Volume: 9
Category: Article
ISSN: 1861-6410
DOI: 10.1007/s11548-013-0919-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improving the Trustworthiness of Medical

Improving the Trustworthiness of Medical Device Software with Formal Verification Methods

✍ Li, Chunxiao; Raghunathan, Anand; Jha, Niraj K. 📂 Article 📅 2013 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 636 KB

A framework for assessing the use of thi

A framework for assessing the use of third-party software quality assurance standards to meet FDA medical device software process control guideline's

✍ Bovee, M.W.; Paul, D.L.; Nelson, K.M. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 387 KB

[IEEE 2007 Joint Workshop on High Confid

[IEEE 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - Boston, MA, USA (2007.06.25-2007.06.27)] 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - Agent-Based Plug-and-Play Integration of Role-Enabled Medical Devices

✍ Cabri, Giacomo; Mola, Francesco De; Leonardi, Letizia 📂 Article 📅 2007 🏛 IEEE ⚖ 760 KB