Le moteur de recherche
des thèses françaises
Ammar Aljer
IdRefMots clés
FR |
EN
Langages d 'entrée de conception
Conception conjointe
Raffinement
Système C (informatique)
Systèmes embarqués (informatique)
Logiciels -- Développement
VHDL (langage de description de matériel informatique)
B (méthode formelle)
Systèmes, Conception de
Méthodes formelles (informatique)
Langages formels
Circuits intégrés numériques -- Conception et construction -- Informatique
Génie logiciel
Bâtiments – Efficacité énergétique
Bâtiments – Confort intérieur
Immeubles intelligents
Internet des objets
Intelligence artificielle
Réseaux de capteurs (technologie)
Logement -- Satisfaction des occupants