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


hal-00517467v1  Communication dans un congrès
Oussama Kassem ZeinJoël ChampeauDominique KerjeanYves Auffret. Smart Sensor Metamodel For Deep Sea Observatory
Conf. Int. IEEE Oceans'09, May 2009, Bremen, Germany
hal-00517224v1  Communication dans un congrès
Philippe DhaussyPierre-Yves PillainDominique KerjeanStephane de BelloyArnaud Du Sorbier et al.  Expérimentation d'unités de preuve pour la validation formelle de logiciels embarqués critiques
Journé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