Folgen
Diego Medina-Martínez
Diego Medina-Martínez
Universidad Nacional Autónoma de México
Bestätigte E-Mail-Adresse bei comunidad.unam.mx
Titel
Zitiert von
Zitiert von
Jahr
Preventable risk factors for type 2 diabetes can be detected using noninvasive spontaneous electroretinogram signals
R Noguez Imm, J Muñoz-Benitez, D Medina, E Barcenas, ...
Plos one 18 (1), e0278388, 2023
42023
Database management system verification with separation logics
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
Programming and Computer Software 47, 654-672, 2021
32021
Formal Verification of a Database Management System
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
2020 8th International Conference in Software Engineering Research and …, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–3