Jacques Pinaton
IdRefMots clés
FR |
EN
Semiconducteurs
Simulation par ordinateur
Microélectronique
.
Fabrication de semi-conducteurs
Mesure
Systèmes échantillonnés
Production en série
Statistique bayésienne
Apprentissage automatique
Vérification et Validation
Modélisation et Simulation
Systèmes à Evènements Discrets
Méthodes Formelles
Systèmes temporisés
Promela
DEv-PROMELA
Systèmes informatiques
Modélisation des données (informatique)
Mode de transfert asynchrone