José Irineu Ferreira Júnior

Publication Activity (10 Years)

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

Top Topics

Coloured Petri Nets

Biomedical Data

Formal Verification

Signal Acquisition

Top Venues

J. Supercomput.

Publications

José Irineu Ferreira Júnior, Alvaro Sobrinho, Leandro Dias da Silva, Paulo Cunha, Thiago D. Cordeiro, Angelo Perkusich, Antonio Marcus Nogueira de Lima
A coloured Petri nets-based system for validation of biomedical signal acquisition devices. J. Supercomput. 80 (10) (2024)