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)
Qualité et sécurité des systèmes informatiques [Quality and security of information systems] (QualSec)
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 réseau de petri temps-réel uml verification assistée par ordinateur