Skip to content

Time semantics of executable activity diagrams for relativized conformance testing.

Junaid Iqbal, Dragos Truscan, Jri Vain

VenueAMODELS
Year2020
ProceedingsMoDELS (Companion)

Browse the full MODELS paper archive.