Filtrer vos résultats
- 6
- 1
- 6
- 1
- 7
- 2
- 2
- 2
- 1
- 1
- 1
- 6
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 7
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
triés par
|
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiquesJournée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès
hal-00517224v1
|
|||
|
|
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
|
||
AADL model transformation for formal verification3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès
hal-00517223v1
|
|||
Evaluating Context Descriptions and Property Definition Patterns for Software Formal ValidationTopcased days, Feb 2011, Toulouse, France
Communication dans un congrès
hal-00635653v1
|
|||
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
|
|||
Towards an Enactment Mechanism for MODAL Process ModelsECMFA 2011, Jun 2011, United Kingdom
Communication dans un congrès
hal-00663182v1
|
|||
Model integration for formal qualification of timing-aware software data acquisition componentsModel Driven Engineering for Distributed Real-Times and Embedded Systems, ISTE, pp.167-200, 2010
Chapitre d'ouvrage
hal-00635969v1
|