Mamoun Filali
IdRefMots clés
FR |
EN
Temps réel (informatique)
Vérification
Raffinement
Temps réel
Méthodes formelles
Automates temporisés
Méthodes formelles (informatique)
Model-checking
Spécification
Méthode B
Logiques temporelles et temporisées
Uppaal
Systèmes temporisés
Simulation
Génie logicie
Langage de description d'architecture
Logiciels -- Validation
Architecture des réseaux d'ordinateurs
Logiciels -- Développement
Méthode des tableaux temporisés