Paulo Cunha

Universidade Federal de Alagoas · AL · 1 publicações em 2024–2024

Advanced Software Engineering MethodologiesFormal Methods in VerificationModel-Driven Software Engineering TechniquesLogic, programming, and type systemsNetwork Traffic and Congestion Control

Principais coautores no Nordeste tamanho = publicações em comum

Álvaro Sobrinho Ângelo Perkusich Antonio M. N. Lima José Irineu Ferreira Júnior Leandro Dias da Silva Thiago Cordeiro

Publicações recentes

2024 1

A coloured Petri nets-based system for validation of biomedical signal acquisition devices
Medicina · The Journal of Supercomputing

Contagens só com publicações em revistas com Qualis (filtro na tela inicial). Dados obtidos de fontes abertas: OpenAlex (CC0), ROR (CC0), CAPES Dados Abertos (CC-BY), INEP e IBGE. Encontrou um erro sobre você? Saiba mais. Criado por Gabriel Pina.