Le moteur de recherche
des thèses françaises
Béatrice Bérard
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Petri, Réseaux de
Méthodes formelles (informatique)
Vérification de modèles
Logiciels -- Vérification
Vérification
Systèmes à paramètres répartis
Traitement réparti
Automates programmables
Systèmes informatiques -- Mesures de sûreté
Modélisation par contraintes
Résolution par contraintes
Vérification de programmes
Interprétation abstraite
Programmation par contraintes
Résolution de problème -- Informatique
Réseaux de Petri
Systèmes dynamiques
Décidabilité (logique mathématique)
Automates temporisés