|
||
---|---|---|
tel-00728431v1
Thèse
Intégration des activités de preuve dans le processus de développement de logiciels pour les systèmes embarqués Génie logiciel [cs.SE]. Télécom Bretagne, Université de Bretagne-Sud, 2012. Français |
||
hal-01118923v1
Communication dans un congrès
A Domain-Specific Framework for Creating Early Trusted Underwater Systems Relying on Enterprise Architecture MASCOTS 2014, IEEE computer Society, Sep 2014, Paris, France. ⟨10.1109/MASCOTS.2014.23⟩ |
||
hal-01121845v1
Article dans une revue
A Modeling Approach for Marine Observatory Sensors & Transducers Journal, International Frequency Sensor Association (IFSA), 2015, Sensors & Transducers Journal, 185 (2), pp.129-139 |
||
hal-01118931v1
Communication dans un congrès
Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal |
||
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⟩ ![]() |
||
|