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