Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking Faiz UL Muram Huy Tran

First Page		Document Content
Date: 2014-06-03 10:24:10		Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking Faiz UL Muram Huy Tran Add to Reading List Source URL: eprints.cs.univie.ac.at Download Document from Source Website File Size: 376,81 KB Share Document on Facebook