Master 2013 2014
Stages de la spécialité SAR
Preuve formelle d’algorithmes séquentiels et distribués de model-checking (NDFS et Tarjan)


Site :http://www.lacl.fr/fr/accueil
Lieu :LACL, Université de Paris-Est Créteil
Encadrant : Frédéric Gava et Julien Tesson
Dates :01/04/2014 au 01/09/2014
Rémunération :400
Mots-clés : Parcours SAR autre qu’ATIAM, recherche, Parcours SAR, aussi pour STL


Description

Voir le pdf (URL)

Bibliographie

idem