Pierre Azéma
Mots clés
FR
Traitement réparti
Sciences appliquees
Informatique, automatique theorique, systemes
Théorie des graphes
Logique temporelle
Technique de description formelle
Equivalence test
Test conformite
Processus algebrique
Validation systeme communicant
Bissimulation
Analyse testabilite
Vérification (épistémologie)
Commande automatique
Systèmes informatiques -- Évaluation
Essais (technologie)
Calcul des prédicats
Petri, Réseaux de
Systèmes à paramètres répartis
Ordinateurs -- Mémoires virtuelles