| 2002 | ||
|---|---|---|
| 3 | EE | Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge: A methodological process for the design of a large system: two industrial case-studies. Electr. Notes Theor. Comput. Sci. 66(2): (2002) |
| 2001 | ||
| 2 | EE | François Monin, Marianne Simonot: An ordinal measure based procedure for termination of functions. Theor. Comput. Sci. 254(1-2): 63-94 (2001) |
| 2000 | ||
| 1 | EE | Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge: Deriving Software Specifications from Event Based Models. ZB 2000: 209-229 |
| 1 | Véronique Donzeau-Gouge | [1] [3] |
| 2 | Nestor Lopez | [1] [3] |
| 3 | François Monin | [2] |