Vol-1255⫷ Vol-1256 ⫸Vol-1257
urn:nbn:de:0074-1256-0


Vol-1256/paper10⫷Vol-1256/paper11⫸Vol-1256/poster1
Thouraya Bouabana-TebibelMiloud Bennama

Mapping OCL Constraints into CTL-like Logic and SML for UML Validation