Betancourt-Cortés, Andrés Octavio
4  Ergebnisse:
Personensuche X
?
3

Taxonomia da Ciência Aberta: revisada e ampliada:

Silveira, Lúcia da ; Calixto Ribeiro, Nivaldo ; Melero, Remedios...
Encontros Bibli: revista eletrônica de biblioteconomia e ciência da informação.  28 (2023)  - p. , 2023
 
?
4

Formal Verification of a Mechanical Ventilator using UPPAAL:

, In: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems,
 
1-4