Le moteur de recherche
des thèses françaises
Bruno Monsuez
IdRefMots clés
FR |
EN
Robotique
Chaînes de Markov
Réseaux d'ordinateurs
Dynamique du véhicule
Pire temps d'exécution
Exécution symbolique
Méthode formelles
Construction d'arbre
Fusion d'états
Validation de systèmes temps réels
Systèmes communicants mobiles
Performabilité
Méthodes formelles
Algèbres de processus
Model checking
Automates temporisés probabilistes
Prism
Internet mobile
Réseaux de Petri
Méthodes formelles (informatique)