Master 2012 2013
Stages de la spécialité SAR
Méthode de tableaux pour le model-checking de la logique ATL


Site :Laboratoire IBISC
Lieu :Laboratoire IBISC, Université d’Evry 23 boulevard de France 91037 Evry
Encadrant : Franck Pommereau (franck.pommereau@ibisc.univ-evry.fr)
Dates :février/mars à juillet/septembre (6 mois)
Rémunération :436,05€ / mois
Mots-clés : Parcours SAR autre qu’ATIAM, recherche, Parcours SAR, aussi pour STL

Description

Voir le descriptif détaillé : http://www.ibisc.univ-evry.fr/ fpom...