2005 |
4 | EE | Christophe Darlot,
Alain Finkel,
Laurent Van Begin:
About Fast and TReX Accelerations.
Electr. Notes Theor. Comput. Sci. 128(6): 87-103 (2005) |
2003 |
3 | EE | Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Refinement Preserves PLTL Properties.
ZB 2003: 408-420 |
2001 |
2 | EE | Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Reformulation: A Way to Combine Dynamic Properties and B Refinement.
FME 2001: 2-19 |
2000 |
1 | EE | Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
ZB 2000: 230-249 |