Le moteur de recherche
des thèses françaises
Julien Brunel
IdRefMots clés
FR |
EN
Logique du premier ordre (FO)
Logique temporelle lineaire
Méthodes Formelles
Spécification et Vérification Formelle
Model-Checking
Réseau peer-To-Peer
Protocole de recherche distribuée Chord
Electrum
Méthodes formelles (informatique)
Électrum
Multi-Coeurs
Interference
Cache coherence
Microprocesseurs multi-coeurs
Brouillage électromagnétique
Théorie de la prévision
Model checking
Ltl
Fo
Propriété du modèle fini