 |
|
|
||
|---|---|---|
| hal-00471931v1
Communication dans un congrès
USER CONTEXT MODELS : A FRAMEWORK TO EASE SOFTWARE FORMAL VERIFICATIONS 12th International Conference on Enterprise Information Systems, Jun 2010, Funchal, Madeira, Portugal. pp.1 |
||
| hal-00635555v1
Communication dans un congrès
Formal Extension of Use Cases for Context-Aware Verification MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand |
||
| hal-00636875v1
Communication dans un congrès
Use Cases Modeling for Scalable Model-Checking APSEC'11, Dec 2011, Minh City, Vietnam |
||
| hal-00470523v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Model Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩ |
||
| hal-00635653v1
Communication dans un congrès
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation Topcased days, Feb 2011, Toulouse, France |
||
|
|
||