Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique

4 résultats

	Pour les 4 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par 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

		Formal Verification of Distributed Algorithms using PlusCal-2 Sabina Akhtar Data Structures and Algorithms [cs.DS]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0014⟩ Thèse tel-01749162v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Formal Verification of Distributed Algorithms in +CAL 2.0 Sabina Akhtar 2008 Autre publication scientifique inria-00338302v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms Sabina Akhtar , Stephan Merz , Martin Quinson Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Mar 2010, Pau, France Communication dans un congrès inria-00544137v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A High-Level Language for Modeling Algorithms and their Properties Sabina Akhtar , Stephan Merz , Martin Quinson 13th Brazilian Symposium on Formal Methods - SBMF'2010, Nov 2010, Natal, Brazil Communication dans un congrès inria-00537779v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats