Le moteur de recherche
des thèses françaises
Béatrice Bérard
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Réseaux de Petri
Méthodes formelles (informatique)
Vérification de modèles
Vérification
Logiciels -- 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
Systèmes dynamiques
Décidabilité (logique mathématique)
Automates temporisés
Réseaux de Petri temporels