Bruno Monsuez
IdRefMots clés
FR |
EN
Robotique
Chaînes de Markov
Réseaux d'ordinateurs
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
Petri, Réseaux de
Ingénierie logicielle pilotée par les modèles
Architecture de logiciel