[RCK00] Validation temporelle d un logiciel temps reel : application a un laminoir industriel,

Conférence Nationale avec comité de lecture : Congres CIFA, January 2000,

Auteurs: P. Richard , F. Cottet , C. Kaiser

motcle:

BibTeX

@inproceedings {
	RCK00,
	title	=	"{Validation temporelle d un logiciel temps reel : application a un laminoir industriel,}",
	author	=	" P. Richard and F. Cottet and C. Kaiser ",
	booktitle	=	"{Congres CIFA}",
	year	=	2000,
	month	=	"January",
}