Jarbas Segundo

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Biomedical Images

Colored Petri Nets

Intrusion Detection

Top Venues

Publications

Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Jarbas Segundo
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study. EMBC (2016)