Rechercher

		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 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	hal-00802006v1 Communication dans un congrès Francesco Bongiovanni, Ludovic Henrio. A Mechanized Model for CAN Protocols 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Mar 2013, Rome, Italy. Springer, 2013
	hal-00916102v1 Communication dans un congrès Francesco Bongiovanni, Ludovic Henrio. Broadcast Algorithms for CAN: Design and Mechanisation Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Apr 2013, Nancy, France. 2013
	hal-00863262v1 Communication dans un congrès Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noël De Palma. Verification of a Dynamic Management Protocol for Cloud Applications 11th International Symposium, ATVA 2013, Oct 2013, Hanoi, Vietnam. 8172, pp.178-192, 2013, <10.1007/978-3-319-02444-8_14>
		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 3 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM