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
Hugues BERSINI
Raymond DEVILLERS
Emmanuel FILIOT
Pierre GANTY
Gilles GEERAERTS
Christian HERNALSTEEN
Gabriel KALYON
SHIRMOHAMMADI MAHSA
Eugène MANZI
Thierry MASSART
Alain PIROTTE
Jean-François RASKIN
Yves ROGGEMAN
Frédéric SERVAIS
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