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
GAIA (satellite artificiel)
Astrométrie
Capteurs CCD
Traitement d'images -- Techniques numériques
Réseaux logiques programmables par l'utilisateur
Satellites de recherche astronomique
GRAFCET
Réseaux de neurones impulsionnels
Langage Light Esterel