1
Assuntos:
“...Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software....”
Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.
Dissertação
2
Assuntos:
“...Marca-passo artificial...”
Avaliação remota dos dispositivos cardíacos eletrônicos implantáveis - nova metodologia de uso em Manaus
Dissertação