フォロー
Hector Cardenas
Hector Cardenas
Texas A&M International University
確認したメール アドレス: dusty.tamiu.edu
タイトル
引用先
引用先
年
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–2