Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Soutenance de thèse de Guy Lahlou DJIKEN
Mobilité de code dans les systèmes embarqués
Salle P2-131 – 12h
Navigation de l’article
JAF37
3 Postes de MCF
