|
||
---|---|---|
hal-00690923v1
Communication dans un congrès
Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada |
||
hal-00663182v1
Communication dans un congrès
Towards an Enactment Mechanism for MODAL Process Models ECMFA 2011, Jun 2011, United Kingdom |
||
hal-00672684v1
Communication dans un congrès
Towards a tool-supported approach for collaborative process modeling and enactment APSEC 2011, Dec 2011, Vietnam. pp.XX |
||
|