Elisabeth Pelz
IdRefMots clés
FR |
EN
Langages formels
Agents mobiles (logiciels)
Logiciels -- Vérification
Agent mobile
Communauté
Surveillance logicielle
Communication
Collecte des données
Jini
Modèle de corrélation
IDS
Acquisition automatique des données
Réseaux d'ordinateurs -- Mesures de sûreté
Petri, Réseaux de
Temps réel (informatique)
Génie logiciel
Algèbre
Formalisme (mathématiques)
Modèles de calcul
Universalité