|
 
|
Nestor Lopez
|
Doctorant(e) Equipe SYS Parti depuis le 01/01/2002 Mail : nestor.lopez  cnam.fr
Tel : 0140661777 Fax : 0140272709 http://cedric.cnam.fr/~lopez |
Nestor's Tag-Cloud : |
Publications
2002
-
[LSV02]
N. Lopez, M. Simonot, V. Viguie Donzeau-Gouge.
"A methodological process for the design of a large system: two industrial case-studies.",
Formal Methods for Industrial Critical Systems (FMICS'02),
January 2002,
-
[LOP02]
N. Lopez.
"Spécification de systèmes complexes: méthodes et techniques",
Soutenue le: 01 January 2002,
Conférence Internationale avec comité de lecture
Mémoire de Thèse
2000
- [VLS00] V. Viguie Donzeau-Gouge, N. Lopez, M. Simonot. "Deriving Software Specifications from Event Based Models", ZB 2000, Int. Conf.rence of B and Z Users, York, U.K., January 2000,
