- 3
- 2
Jeanine Souquières
5
Documents
Présentation
souquieres
Publications
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 1
- 5
- 3
- 2
|
An Operator-based Approach to Incremental Development of Conform Protocol State MachinesTrustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Communication dans un congrès
inria-00001263v1
|
|
Consistency in UML and B multi-view specificationsFifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Communication dans un congrès
hal-00009478v1
|
Development of objectoriented and formal multi-view specifications2005
Autre publication scientifique
hal-00013790v1
|
|
Developing Specifications by using Operators: a Process to guarantee correctness by construction2006
Pré-publication, Document de travail
hal-00104266v1
|
|
Ensuring specification correctness by construction2006
Pré-publication, Document de travail
hal-00104722v1
|