Urmăriți
Hector Cardenas
Hector Cardenas
Texas A&M International University
Adresă de e-mail confirmată pe dusty.tamiu.edu
Titlu
Citat de
Citat de
Anul
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–2