Applications of Graph Transformations with Industrial ...
Preview
Verification and Synthesis of OCL Constraints Via Topology Analysis⋆ (A Case
Study) Jörg Bauer1, Werner Damm2, Tobe Toben2, and Bernd Westphal2 1
Technical University of Munich, 85748 Garching, Germany joerg.bauer ...