Le moteur de recherche
des thèses françaises
Hervé Marchand
IdRefMots clés
FR |
EN
Systèmes échantillonnés
Systèmes informatiques
Administration autonome
Boucles de contrôle
Modèle à base de composants
Synthèse de contrôleur discret
Programmation synchrone
Programmation (informatique)
Vérification des logiciels
Théorie des automates
Logique temporelle
Ingénierie des systèmes
Temps réel
Logiciels -- Vérification
Théorie des automates mathématiques
Temps réel (informatique)
Réseaux définis par logiciel
Dispositifs de l'Internet des objets
Synthèse de contrôle
Vérification