Allocation sûre dans les systèmes aéronautiques modélisation, vérification et génération /

Description

Thèse de doctorat : Informatique : Bordeaux 1 : 2008. / Titre provenant de l'écran-titre.

Links & Downloads

1. http://ori-oai.u-bordeaux1.fr/pdf/2008/SAGASPE_LAURENT_2008.pdf

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495207551
Date	January 2008
Creators	Sagaspe, Laurent Couvreur, Jean-Michel Bieber, Pierre.
Publisher	S. l. : S. n.,
Source Sets	OCLC
Language	French
Detected Language	French
Source	En libre accès sur Internet