Cardenas, Hector
754  Ergebnisse:
Personensuche X
?
1

TPV: A Tool for Validating Temporal Properties in UML Class..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
 
?
2

TPV: A Tool for Validating Temporal Properties in UML Class..:

, In: Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings,
 
?
3

Specifying Temporal Properties in UML Using Patterns: A Too..:

, In: 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C),
Cardenas, Hector ; Lail, Mustafa Al - p. 393-402 , 2023
 
?
4

Formal UML-based Modeling and Analysis for Securing Locatio..:

, In: 2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS),
 
?
5

Transformation of TOCL temporal properties into OCL:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings,
 
?
14

Consenso colombiano de expertos sobre recomendaciones infor..:

Yomayusa, Nancy ; Yama, Erika ; González, Camilo...
https://revistanefrologia.org/index.php/rcn/article/view/474/657.  , 2020
 
1-15