Hubert Garavel
IdRefMots clés
FR |
EN
Vérification formelle
Validation
Lotos
Logique temporelle
Systeme reparti
Verification
Langages modernes modélisation
Systèmes asynchrones
Meta-modelisation
LOTOS NT
BPEL
AltaRica
Méthodes formelles
Raffinement
Conception/validation d'architecture
Sûreté de fonctionnement des systèmes
Méthodes formelles (informatique)
Fiabilité
Réseaux de Petri
Théorie de la concurrence