Bernard Berthomieu
IdRefMots clés
FR |
EN
Petri, Réseaux de
Temps réel (informatique)
Méthodes formelles (informatique)
Algorithmes
Systèmes temps réel
Model checking
Réseau de Petri temporel
Angage spécifique à un domaine
Logiciels -- Vérification
Model Checking en Parallèle
Vérification Formelle et Logiques Temporelles
Algorithme et Structure de Données concurrents
Méthode Formelle
Algorithmes parallèles
Calcul intensif (informatique)
Théorie des graphes
Réseaux de Petri Temporels
Symétries
Modélisation formelle
Vérification formelle