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-02441365v1 Conference papers Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Claire Pagetti et al. A service-based modelling approach to ease the certification of multi-core COTS processors SAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
	hal-02441323v1 Conference papers Frédéric Boniol, Youcef Bouchebaba, Julien Brunel, Kevin Delmas, Thomas Loquen et al. PHYLOG certification methodology: a sane way to embed multi-core processors 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
	hal-03012557v1 Conference papers Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Journées du Groupe de Travail Vérification du GDR GPL 2019, Jun 2019, Nantes, France. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
	hal-02332531v1 Conference papers Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol 23rd International Symposium on Formal Methods (FM 2019), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-30942-8_5⟩
		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