Le moteur de recherche
des thèses françaises
Anatol Slissenko
IdRefMots clés
FR |
EN
Vérification
Systèmes concurrents
Technique d'abstraction
Logiques multi-valuées
Types de données
Types abstraits de données (informatique)
Systèmes informatiques
Agent mobile
Communauté
Surveillance logicielle
Communication
Collecte des données
Jini
Modèle de corrélation
IDS
Agents mobiles (logiciels)
Acquisition automatique des données
Réseaux d'ordinateurs -- Mesures de sûreté
Machines à états abstraits
Langage de spécification exécutable