Aller au menu Aller au contenu
Une excellence accessible à tous

Institut polytechnique de Grenoble

Grenoble Institute of Engineering
Une excellence accessible à tous
Une excellence accessible à tous

> Formation > Doctorats

Soutenance de Jan Stöcker

Publié le 8 décembre 2009
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
Soutenance

10 décembre 2010 à 15h. « Un modèle intermédiaire pour la vérification des systèmes asynchrones embarqués en temps réel : définition et application du langage ATLANTIF ».

10 décembre 2010 à 15h. Soutenance de Jan Stöcker pour une thèse de doctorat de l'Institut polytechnique de Grenoble, spécialité Informatique intitulée : « Un modèle intermédiaire pour la vérification des systèmes asynchrones embarqués en temps réel : définition et application du langage ATLANTIF ».

Lieu : INRIA Grenoble - Rhône-Alpes, 655 ave de l'Europe, 38330 Montbonnot Saint-Martin

Thèse préparée dans le laboratoire INRIA Grenoble - Rhône-Alpes, sous la direction de M. Frédéric LANG.

Présentation rapide de la thèse
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo

mise à jour le 8 décembre 2009

Univ. Grenoble Alpes