Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: an ECG case study. [electronic resource]
- Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual International Conference Aug 2016
- 2488-2491 p. digital
Publication Type: Journal Article
2694-0604
10.1109/EMBC.2016.7591235 doi
Algorithms Device Approval Electrocardiography Humans Models, Theoretical United States United States Food and Drug Administration