Loïc Lagadec
Mots clés
FR |
EN
Réseaux logiques programmables par l'utilisateur
Systèmes embarqués (informatique)
Ingénierie des systèmes
Synthèse de haut niveau (informatique)
Systèmes adaptatifs (technologie)
Systèmes sur puce
Conception de systèmes informatiques
Ingénierie dirigée par les modèles
Internet des objets
Fiabilité
FPGA
Méthodes formelles (informatique)
Systèmes informatiques -- Mesures de sûreté
Synthèse
HLS
Débogage
Ordonnancement (gestion)
Temps réel (informatique)
Solveurs (logiciels)
Théorie de la prévision