Sérgio Murilo Maciel Fernandes

Reliability evaluation for dependable embedded system specifications: an approach based on DSPN

Paulo Romero Martins Maciel, Sérgio Murilo Maciel Fernandes, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..

USO DE SMARTWATCH NO AUXÍLIO A MONITORAÇÃO DE ARRITMIAS CARDÍACAS / USAGE OF SMARTWATCH TO ASSIST MONITORING OF CARDIAC ARRHYTHMIAS

Sérgio Murilo Maciel Fernandes, Leoni Kurt G. N. M. da Silva, Robson Cavalcanti Lins, 2020 .

Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems

Paulo Romero Martins Maciel, Sérgio Murilo Maciel Fernandes, 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.