Philippe Devienne
IdRefMots clés
FR |
EN
Apprentissage automatique
Architectures neuromorphiques
Ordinateurs neuronaux
Réseaux neuronaux (informatique)
Algorithmes bio-inspirés (intelligence artificielle)
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
Réseau de neurones a impulsion
Analyse interactive