Le moteur de recherche
des thèses françaises
Robert de Simone
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Langages de programmation -- Sémantique
Compilation
Compilation (informatique)
Sémantique
Esterel (langage de programmation)
Logiciels -- Vérification
Simulation
Temps réel (informatique)
Parallélisme (informatique)
Transmission synchrone
Systèmes sur puce
Microprocesseurs multi-coeurs
Simulation par ordinateur
Informatique
Synchronisation
Méthodes formelles (informatique)
Synchrone
Preuve de programmes
Traduction par validation