[LSV02] A methodological process for the design of a large system: two industrial case-studies.

Conférence Internationale avec comité de lecture : Formal Methods for Industrial Critical Systems (FMICS'02), January 2002,

Auteurs: N. Lopez , M. Simonot , V. Viguie Donzeau-Gouge

motcle:

Download

BibTeX

@inproceedings {
	LSV02,
	title	=	"{A methodological process for the design of a large system: two industrial case-studies.}",
	author	=	" N. Lopez and M. Simonot and V. Viguie Donzeau-Gouge ",
	booktitle	=	"{Formal Methods for Industrial Critical Systems (FMICS'02)}",
	year	=	2002,
	month	=	"January",
}