|
||
---|---|---|
hal-00635653v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France |
||
hal-00663182v1
Communication dans un congrès
Towards an Enactment Mechanism for MODAL Process Models ECMFA 2011, Jun 2011, United Kingdom |
||
|