- 10
Jeanine Souquières
10
Documents
Présentation
souquieres
Publications
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 10
- 10
- 3
- 3
- 2
- 1
- 1
- 1
- 10
- 7
- 3
|
Développement formel par composants : assemblage et vérification à l'aide de BRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2008, 27 (8), pp.1007-1032. ⟨10.3166/TSI.27.1007-1032⟩
Article dans une revue
hal-00180972v1
|
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Communication dans un congrès
hal-00261630v1
|
|
Using CSP||B Components: Application to a Platoon of Vehicles13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p
Communication dans un congrès
hal-00286431v1
|
|
Trustworthy interface compliancy: data model adaptation using B refinementFormal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p
Communication dans un congrès
hal-00123884v2
|
|
Schémas de développement d'adaptateurs à l'aide de BApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108
Communication dans un congrès
hal-00131340v1
|
Validation technique des sous-systèmes2008
Autre publication scientifique
hal-00343549v1
|
|
Requirements for the Description of Component Assembling2008
Autre publication scientifique
hal-00344884v1
|
|
Model for the Land Transport Domain2008
Autre publication scientifique
hal-00344882v1
|
|
A synthesis of existing approaches to specify non-functional properties2008
Autre publication scientifique
hal-00344883v1
|
|
Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.02007
Autre publication scientifique
hal-00181250v1
|