Le moteur de recherche
des thèses françaises
Rajeev Alur
IdRefMots clés
FR |
EN
Robustesse
Systèmes temps-réel
Automates temporisés
Temps réel (informatique)
Automates programmables
Commande robuste
Automate temporisé
Dynamique symbolique
Entropie volumétrique
Processus stochastique
Fonction génératrice
Code temporisé
Automates
Théorie des machines séquentielles
Entropie (théorie de l'information)
Vérification
Surveillance
Langages temporisés
Expressions rationnelles
Des circuits analogiques