Master 2015 2016
Stages de la spécialité SAR
Compilation certifiée (avec optimisations) en ML/Java/C de réseaux de Petri colorés


Site : Compilation certifiée (avec optimisations) en ML/Java/C de réseaux de Petri colorés
Lieu : LACL, Université de Paris Est Créteil
Encadrant : Frédéric Gava e Julien Tesson
Dates :01/03/2016 au 01/09/2016
Rémunération :Standard (environ 500 euros)
Mots-clés : Master SAR, autre qu’ATIAM

Description

Voir : http://www.lacl.fr/gava/stages/Proo...

Bibliographie

Voir : http://www.lacl.fr/gava/stages/Proo...