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)
Probabilités et informatique [Probability and Computer Science] (PCS)
Qualité et sécurité des systèmes informatiques [Quality and security of information systems] (QualSec)
ReSIC: Information et Communication [ReSIC : Information and Communication] (ReSIC)
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 Télécommunications spatiales

analyse des besoins d'applications base de données contrôle de trafic contrôle distribué distribution de code files d'attente génie logiciel interconnexion de LAN Java méthode de développement d'application modélisation 00 modélisation conceptuelle modélisation de systèmes complexes par 00 orbite non géostationnaire programmation distribuée réseau de petri simulation technologie des objets temps-réel transmission par satellites uml verification assistée par ordinateur