Author of the publication

Formal modeling of biomedical signal acquisition systems: source of evidence for certification.

, , , , , and . Softw. Syst. Model., 18 (2): 1467-1485 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A simulation approach to certify electrocardiography devices., , , , , and . HealthCom, page 86-90. IEEE, (2015)Siamese Convolutional Neural Network for Heartbeat Classification Using Limited 12-Lead ECG Datasets., , , , , , , , and . IEEE Access, (2023)A variable gain physiological controller for a rotary left ventricular assist device., , and . EMBC, page 5606-5609. IEEE, (2021)Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device., , , , , and . IECON, page 2645-2651. IEEE, (2014)Simulating cardiac disorders with a lumped parameter synergistic model., , , and . EMBC, page 5614-5617. IEEE, (2021)A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems., , , , , and . IECON, page 2761-2766. IEEE, (2019)Formal modeling of biomedical signal acquisition systems: source of evidence for certification., , , , , and . Softw. Syst. Model., 18 (2): 1467-1485 (2019)A methodology for modeling and simulation of biomedical signal acquisition devices., , , , , and . HealthCom, page 227-231. IEEE, (2015)Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study., , , , , and . EMBC, page 2488-2491. IEEE, (2016)A PLC-Based PI and Pi-Fuzzy Logic Controller for an Industrial Fan System., , , , , , and . SMC, page 1957-1962. IEEE, (2013)