Le moteur de recherche
des thèses françaises
Aurélie Hurault
IdRefMots clés
FR |
EN
Méthodes formelles
Méthodes formelles (informatique)
Systèmes répartis
Communication asynchrone
Vérification de compatibilité
Raffinement
TLA+
Event-B
Systèmes à paramètres répartis
Mode de transfert asynchrone
Logiciels -- Compatibilité
Informatique distribuée
Tours
Modèle Heard-Of
Traitement réparti
Informatique
Systèmes auto-organisés
Vérification
Logique mathématique
Logique d'ordre supérieure