Towards Domain Refinement For UML OCL Bounded Verification Robert Claris´ o1 , Carlos A. Gonz´alez2 , and Jordi Cabot1,3 1 - Modeling languages - Document - PDFSEARCH.IO

First Page	Meta Content
	Towards Domain Refinement For UML/OCL Bounded Verification Robert Claris´ o1 , Carlos A. Gonz´alez2 , and Jordi Cabot1,3 1 Add to Reading List Document Date: 2015-09-23 11:32:49 Open Document File Size: 288,84 KB Share Result on Facebook

Towards Domain Refinement For UML/OCL Bounded Verification Robert Claris´ o1 , Carlos A. Gonz´alez2 , and Jordi Cabot1,3 1Add to Reading List