Sobrinho, Alvaro

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