Le moteur de recherche
des thèses françaises
Brigitte Rozoy
IdRefMots clés
FR |
EN
Systèmes embarqués
Délai de bout-en-bout
Raffinement
Abstraction
Systèmes synchrones
Systèmes embarqués (informatique)
Fiabilité
Méthodes formelles (informatique)
Algorithmes
Simulation par ordinateur
Architectures parallèles
DSEL
Bibliothèques actives
Programmation générative
Programmation générique
C++
C plus-plus (langage de programmation)
Programmation parallèle (informatique)
Architecture -- Informatique
Sciences appliquees