Skip to content

Verifying dynamic aspects of UML models.

Mathias Soeken, Robert Wille, Rolf Drechsler

VenueADATE
Year2011
ProceedingsDATE

Browse the full DATE paper archive.