Time semantics of executable activity diagrams for relativized conformance testing

Junaid Iqbal, Dragos Truscan, Jüri Vain. Time semantics of executable activity diagrams for relativized conformance testing. In Esther Guerra, Ludovico Iovino, editors, MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings. ACM, 2020. [doi]

Authors

Junaid Iqbal

This author has not been identified. Look up 'Junaid Iqbal' in Google

Dragos Truscan

This author has not been identified. It may be one of the following persons: Look up 'Dragos Truscan' in Google

Jüri Vain

This author has not been identified. Look up 'Jüri Vain' in Google