Robert de Simone
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Langages de programmation -- Sémantique
Compilation
Compilation (informatique)
Sémantique
Simulation
Temps réel (informatique)
Logiciels -- Vérification
Parallélisme (informatique)
Microprocesseurs multi-coeurs
Synchronisation
Systèmes sur puce
Synchrone
Preuve de programmes
Traduction par validation
Langage flots de données
Langage impératif
Certification
Langages formels
Langages synchrones