Skip to content

Behavioral Verification of UML2.0/PoSM Components.

Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech

VenueCSoMeT
Year2016
ProceedingsSoMeT

Browse the full SoMeT paper archive.