Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture - Equipe Autonomic and Critical Embedded Systems Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2022
Fichier non déposé

Dates et versions

hal-03702426 , version 1 (23-06-2022)

Identifiants

Citer

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan. Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. International Journal on Software Tools for Technology Transfer, 2022, 24 (3), pp.415-440. ⟨10.1007/s10009-022-00655-1⟩. ⟨hal-03702426⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More