Radu Mateescu
IdRefMots clés
FR |
EN
Vérification formelle
Algèbres de processus
Vérification
Logique temporelle
Systèmes sur puce
Spécification formelle
Mu-Calcul
Génération de tests
Méthodes formelles
Langages de programmation -- Sémantique
Modélisation formelle
Composants distribués
Modélisation
DCOM (architecture des ordinateurs)
Conception assistée par ordinateur -- Logiciels
Logiciels -- Vérification
Biologie des systèmes
Réseaux de régulation biologique
Simulation qualitative
Model checking