Personensuche
X
?
2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) ,
1
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 ,
2
TPV: A Tool for Validating Temporal Properties in UML Class..:
, In:
?
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) ,
3
Specifying Temporal Properties in UML Using Patterns: A Too..:
, In:
?
2022 IEEE 19th International Conference on Mobile Ad Hoc and Smart Systems (MASS) ,
4
Formal UML-based Modeling and Analysis for Securing Locatio..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
5