A Framework for Specifying and Analyzing Temporal Properties of UML Class Models.
VenueAMODELS
Year2013
ProceedingsMoDELS (Demos/Posters/StudentResearch)
DBLP recordconf/models/Al-Lail13 ↗
Browse the full MODELS paper archive.
Browse the full MODELS paper archive.