Recherche - ENSTA Bretagne

		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Merci d'indiquer la raison de votre demande Pour les 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	tel-00728431v1 Thèse Amine Raji. 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 Iyas Alloush, Charbel Geryes Aoun, Yvon Kermarrec, Siegfried Rouvrais. 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 Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Joël Champeau, Oussama Kassem Zein. 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 Charbel Geryes Aoun, Iyas Alloush, Yvon Kermarrec, Oussama Kassem Zein, Joël Champeau. Domain Specific Modeling Language for Object Localization in Marine Observatories SENSORCOMM 2014, IARIA, Nov 2014, Lisbonne, Portugal
	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⟩
		Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 résultats par page 50 résultats par page 100 résultats par page Pour les 5 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM