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 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM
	hal-01206527v1 Communication dans un congrès Philippe Dhaussy. Formal Validation with Model-Checking Techniques ICNTC'2012, Dec 2012, Chlef, Algérie
	hal-00738735v1 Article dans une revue Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux. Improving Model Checking with Context Modelling Advances in Software Engineering, 2012, 2012, pp.ID 547157. ⟨10.1155/2012/547157⟩
	hal-00862488v1 Chapitre d'ouvrage Frédéric Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Analyse à partir du modèle Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
	hal-01006676v1 Article dans une revue Philippe Dhaussy, Luka Le Roux, Ciprian Teodorov. Vérification formelle de propriétés : Application de l'outil OBP au cas d'étude CCS Génie logiciel, C & S, 2014, 109
	hal-01289454v1 Communication dans un congrès S Heim, Xavier Dumas, E Bonnafous, Philippe Dhaussy, C Teodorov et al. Model Checking of SCADE Designed Systems 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
	hal-01326333v1 Communication dans un congrès Djamila Baroudi, Philippe Dhaussy, Nait Bahloul Safia. Formalisation d’une Approche Compositionnelle de Patrons de Propriétés AFADL 2016, i, Jun 2016, Besançon, France
		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 6 documents Exporter XML-TEI BibTeX EndNote CSV PDF RTF Export avancé... Syndication RSS ATOM