 |
|
|
||
|---|---|---|
| hal-00635555v1
Communication dans un congrès
Formal Extension of Use Cases for Context-Aware Verification MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand |
||
| hal-00773497v1
Communication dans un congrès
Relationships Formalization for Model-Based Product Lines APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187 |
||
| hal-00738772v1
Communication dans un congrès
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-00744434v1
Article dans une revue
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-00704312v1
Communication dans un congrès
Une organisation des Lignes de Produits Logiciels autour d'un motif architectural CAL 2012, May 2012, Montpellier, France |
||
| hal-01472914v1
Communication dans un congrès
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-00657521v1
Communication dans un congrès
Influence de l'estimation des paramètres de texture pour la classification de données complexes Extraction et Gestion des Connaissances, Jan 2011, Brest, France. pp.10h |
||
| hal-00657626v1
Article dans une revue
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-00636049v1
Communication dans un congrès
Continuous belief functions to qualify sensors performances ESQARU 2011, Jun 2011, Belfast, Ireland |
||
| hal-00729682v1
Communication dans un congrès
CHARACTERIZATION OF EM SEA CLUTTER WITH α-STABLE DISTRIBUTION IGARSS 2012, Jul 2012, Munich, Germany |
||
| hal-00704765v1
Communication dans un congrès
A comparison between a Bayesian approach and a method based on continuous belief functions for pattern recognition Belief 2012, May 2012, Compiègne, France |
||
| hal-00736396v1
Communication dans un congrès
RCS characterization of sea clutter by using the -stable distributions Radar 2012, Oct 2012, France |
||
| inria-00504670v1
Article dans une revue
Model-driven Generative Development of Measurement Software Software and Systems Modeling, Springer Verlag, 2011, 10 (4), pp.537-552. ⟨10.1007/s10270-010-0165-9⟩ |
||
| hal-00676780v1
Communication dans un congrès
Multiple Feature Models & Relationships in a Model-Based Product Line Process Lignes de produits, Oct 2011, Paris, France |
||
| hal-00749175v1
Communication dans un congrès
AN EXPERIMENTAL TOOLCHAIN BASED ON HIGH-LEVEL DATAFLOW MODELS OF COMPUTATION FOR HETEROGENEOUS MPSOC DASIP, Oct 2012, Karlsruhe, Germany |
||
|
|
||