page d'accueil   sommaire   disciplines  

Analyse de systèmes informatiques
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 2572).


unités de recherche


Méthodes formelles et vérification [Verification and formal methods] (Verif)
Service ingénierie de l'informatique et de la décision [Department of Computer and Decision Engineering] (CoDE)



chercheurs





disciplines et mots clés associés


Analyse de systèmes informatiques Informatique appliquée logiciel Informatique générale Informatique mathématique Intelligence artificielle

contrôle distribué distribution de code Java modélisation 00 modélisation de systèmes complexes par 00 programmation distribuée temps-réel uml verification assistée par ordinateur