Le moteur de recherche
des thèses françaises
Franck Pommereau
IdRefMots clés
FR |
EN
Petri, Réseaux de
Méthodes formelles (informatique)
Programmation parallèle (informatique)
Informatique
Compilation (informatique)
Logique temporelle
Vérification de modèles (informatique)
Algorithmes parallèles
Expression régulière
Systèmes échantillonnés
Concurrence
Logiciels -- Vérification
Sémantique formelle
Parallélisme
Processus léger
Section atomique
Verrou
Bonne synchronisation
Trace de programme
Atomicité