Carlos Alberto Gonzalez Perez
|
|
||||
| Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
powered by
In press
Smart Bound Selection for the Verification of UML/OCL Class Diagrams; ;
in IEEE Transactions on Software Engineering (in press)
2018
Enabling Model Testing of Cyber-Physical Systems; ; ; ;
in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)
