Seguir
Hector Cardenas
Hector Cardenas
Texas A&M International University
Dirección de correo verificada de dusty.tamiu.edu
Título
Citado por
Citado por
Año
Transformation of TOCL temporal properties into OCL
MA Lail, A Rosales, H Cardenas, L Hamann, A Perez
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
22022
Formal UML-based Modeling and Analysis for Securing Location-based IoT Applications
H Cardenas, R Zimmerman, AR Viesca, M Al Lail, AJ Perez
2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems …, 2022
22022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–2