Le moteur de recherche
des thèses françaises
Mihail Asavoae
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Anomalies temporelles
Vérification formelle
Vérification de modèles
Temps réel (informatique)
Microprocesseurs
Systèmes temps-réel
Pipeline out-of-order
TriCore
Analyse temporelle
Architecture des ordinateurs
Vérification de modèles (informatique)
Modélisation des processeurs
Langages de Construction de Matériel (HCLs)
Chemin de données du pipeline
Vérification de modèle
Langages de description de matériel informatique
Langages de programmation -- Sémantique
Analyse Pire Cas
Systèmes informatiques -- Mesures de sûreté