Jarbas Segundo

Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study

Angelo Perkusich, Leandro Dias da Silva, Alvaro Sobrinho, 2016, 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).