Filtrer vos résultats
- 2
- 1
- 2
- 1
- 3
- 1
- 1
- 1
- 2
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
|
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationModel Driven Engineering Languages and Systems (Models'09), Oct 2009, Denver, United States. pp.438-452, ⟨10.1007/978-3-642-04425-0⟩
Communication dans un congrès
hal-00470523v1
|
||
|
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Article dans une revue
hal-00744434v1
|
||
Contribution à la formalisation de contextes et d'exigences pour la validation formelle de logiciels embarquésConférence Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'10), Poitiers-Futuroscope, 09-11, Jun 2010, Poitiers, France. pp.Non renseigne
Communication dans un congrès
hal-00517222v1
|