Samira Ait Bensaid
Mots clés
FR |
EN
Modélisation des processeurs
Langages de Construction de Matériel (HCLs)
Chemin de données du pipeline
Anomalies temporelles
Vérification de modèle
Méthodes formelles (informatique)
Langages de description de matériel informatique
Langages de programmation -- Sémantique
Analyse Pire Cas
Temps réel (informatique)
Systèmes informatiques -- Mesures de sûreté