Méthodes formelles pour la modélisation d'architectures et d'infrastructures, étude du standard NAF

Titre du sujet de thèse
Méthodes formelles pour la modélisation d'architectures et d'infrastructures, étude du standard NAF
Thesis title
Formal methods for modeling infrastructures with the NAF standard
Description du sujet de thèse / Full thesis description
Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
Jean-Pierre Talpin
Axel Legay
Informatique Ministère de la Défense : DGA (100 % , Demande en cours)
Unité(s) de recherche associée(s) / Associated research unit(s) :
Centre Inria Rennes - Bretagne Atlantique (INRIA Rennes)
Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA - CNRS)
Télécharger les descriptions complètes : Français : NAF.pdf

Candidatures closes depuis le / Candidates closed since : 15/8/2015

Site Internet de l'ED

Logo ED matisse

Etablissements co-accrédités

Logo Rennes 1


Logo Agrocampus

Logo ENS

Logo INSA

Logo Supélec

logo Telecom Bretagne

logo Rennes 2

Etablissements associés

Logo ENSAI