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 TranAdd to Reading ListSource URL: eprints.cs.univie.ac.atDownload Document from Source WebsiteFile Size: 376,81 KBShare Document on Facebook |