Utilisation de méthodes formelles dans la conception conjointe de systèmes embarqués Using formal methods for the codesign of embedded systems /

Description

Thèse doctorat : Informatique : Rennes 1 : 2006. / Bibliogr. p. 183-194.

Links & Downloads

1. ftp://ftp.irisa.fr/techreports/theses/2006/berner.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/493569523
Date	January 2006
Creators	Berner, David Talpin, Jean-Pierre.
Publisher	[S.l.] : [s.n.],
Source Sets	OCLC
Language	English
Detected Language	French