Philippe Quéinnec
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Systèmes distribués
Informatique
Traitement réparti
Raffinement
Conception par composant
Cohérence des données
Logiciels spatiaux
Vérification
Vérification de modèles (informatique)
Systèmes répartis
Méthodes formelles
Communication asynchrone
Vérification de compatibilité
TLA+
Event-B
Systèmes à paramètres répartis
Mode de transfert asynchrone
Logiciels -- Compatibilité
Informatique distribuée