Accéder directement au contenu Accéder directement à la navigation


...
inria-00468656v1  Article dans une revue
Ali KoudriJoël ChampeauDenis AulagnierDidier Vojtisek. Processus MOPCOM pour SoC/SoPC
Génie logiciel, Génie industriel multimédia, 2009
...
hal-00657626v1  Article dans une revue
Cédric RomingerArnaud Martin. Recalage et fusion d'images sonar multivues : utilisation du conflit
Revue des Nouvelles Technologies de l'Information, Hermann, 2011, E (21), pp.231-246
hal-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩