Accéder directement au contenu Accéder directement à la navigation
  1. Recherche


hal-00773497v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel. Relationships Formalization for Model-Based Product Lines
APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
hal-00738772v1  Communication dans un congrès
Stephen Creff, Joël Champeau, Jean-Marc Jézéquel. Model-Based Product Line Evolution: an Incremental Growing by Extension
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
...
hal-00729682v1  Communication dans un congrès
Anthony Fiche, Jean-Christophe Cexus, Ali Khenchaf, Majid Rochdi, Arnaud Martin. CHARACTERIZATION OF EM SEA CLUTTER WITH α-STABLE DISTRIBUTION
IGARSS 2012, Jul 2012, Munich, Germany
hal-00744434v1  Article dans une revue
Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves 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⟩
hal-01472914v1  Communication dans un congrès
Weiqing Zhang, Vincent Leilde, Birger Moller-Pedersen, Christophe Guychard, Joël Champeau. Towards Tool Integration through Artifacts and Roles
Asia-Pacific Software Engineering Conference, 2012, Hong Kong, China. pp.603-613, ⟨10.1109/APSEC.2012.45 ·⟩
...
hal-00749175v1  Communication dans un congrès
Julien Heulot, K. Desnos, Jean-François Nezan, Maxime Pelcat, Raulet Mickaël et al.  AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC
DASIP, Oct 2012, Karlsruhe, Germany