Le moteur de recherche
des thèses françaises
Jean-Paul Bodeveix
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Temps réel (informatique)
Temps réel
Vérification
Méthode B
Raffinement
Systèmes embarqués (informatique)
Automates temporisés
B (méthode formelle)
Model checking
Spécifications formelles
Vérification formelle
Langages de programmation -- Sémantique
Spécification
Logiques temporelles et temporisées
Méthodes Formelles
Uppaal
Systèmes informatiques -- Mesures de sûreté
Accès -- Contrôle