Daniel Gaffé
IdRefMots clés
FR |
EN
Approche synchrone
Jeux de tests
Modèle synchrone
Pré-conditions
Couverture de l’espace d’états
Manipulation numérique des données
Backtrack
GAJE
Systèmes embarqués (informatique)
Tests fonctionnels (informatique)
Logiciels -- Vérification
Réseaux de neurones impulsionnels
Langage Light Esterel
FPGA
Neurobiohybridation
Réseaux neuronaux (informatique)
Transmission synchrone
Bioinformatique
GAIA (satellite artificiel)
Astrométrie