![]() | ![]() |
2002 | ||
---|---|---|
2 | 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) |
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] [2] |
2 | Marianne Simonot | [1] [2] |