Institution of Engineering and Technology

The IET is a world leading professional organisation sharing and advancing knowledge to promote science, engineering and technology across the world.

Verifying the structure and behavior in UML/OCL models using satisfiability solvers
Przigoda,Nils et al.
IET Cyber-Physical Systems: Theory & Applications(2016), 1 (1):49
http://dx.doi.org/10.1049/iet-cps.2016.0022

This article is available from multiple sources. Please click on the logo of the service to which you have a subscription, or click any logo to obtain pay-per-view access.

IET Digital Library on Scitation
  Access the IET Digital Library



IEL on IEEE Xplore
  Access the IEL (IEEE/IET Electronic Library) on IEEE Xplore®