Mohamed Tounsi - Veröffentlichungen allgemein

(1 - 5 von 7

)

Refinement-Based Verification of Local Synchronization Algorithms |...

link.springer.com

Synchronization algorithms are mandatory for simulating local com…tion models of distributed algorithms. Therefore, …ctness of these algorithms becomes...

Mohamed Tounsi - theses.frwww.theses.fr › ...

www.theses.fr

Mohamed Tounsi. est l'auteur d'une thèse; a été membre de jury pour 1 thèse. Algorithmes Algorithmes Distribués Algorithmes distribués Algorithmes parallèles ...

Papers/SPRINGER2015COROS - ROS Wiki

wiki.ros.org

... Sriti, Hachemi Bennaceur, Adel Ammar, Yasir Javed, Maram Alajlan, Nada Al-Elaiwi, Mohamed Tounsi, and Elhadi Shakshuki. Contents.

theses.fr – Mohamed Tounsi

www.theses.fr

Mohamed Tounsi

theses.fr – Mohamed Tounsi , Preuves d’algorithmes distribués par...

www.theses.fr

Dans cette thèse, nous avons étudié et développé un environnement de preuve pour les algorithmes distribués. Nous avons choisi de combiner d’une part...

Verwandte Suchanfragen zu Mohamed Tounsi

Prince Sultan
Mohamed Mosbah

Personen
Vorname "Mohamed" (9191)
Name "Tounsi" (147)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Mohamed Tounsi

Refinement-Based Verification of Local Synchronization Algorithms |...

Mohamed Tounsi - theses.frwww.theses.fr › ...

Papers/SPRINGER2015COROS - ROS Wiki

theses.fr – Mohamed Tounsi

theses.fr – Mohamed Tounsi , Preuves d’algorithmes distribués par...