Search - Université Toulouse III - Paul Sabatier

		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-02181895v1 Conference papers Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Event-B Formalization of a Variability-Aware Component Model Patterns Framework 15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74
	hal-02538359v1 Journal articles Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Event algebra for transition systems composition Application to timed automata Acta Informatica, Springer Verlag, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩
	hal-01708993v1 Conference papers Jean-Paul Bodeveix, Arnaud Dieumegard, Mamoun Filali. Pattern-based requirements development 9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
		Relevance Author A→Z Author Z→A Title A→Z Title 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 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM