Filtrer vos résultats
- 3
- 1
- 4
- 4
- 2
- 1
- 1
- 3
- 1
- 2
- 2
- 1
- 1
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Smart Sensor Metamodel For Deep Sea ObservatoryConf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
Communication dans un congrès
hal-00517467v1
|
|||
|
Domain-specific modelling applied to inteegration of smart sensors into an information systemICEIS 2011, Jun 2011, Lille, France. pp.XX
Communication dans un congrès
hal-00628532v1
|
||
Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiquesJournée ADA-France 2007 : méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique, 2007, Brest, France
Communication dans un congrès
hal-00517224v1
|
|||
Domain Specific Modelling Applied to Smart SensorsOceans 2011, Jun 2011, Santander, Spain
Communication dans un congrès
hal-00676704v1
|