Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture - Equipe Autonomic and Critical Embedded Systems Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2022
Not file

Dates and versions

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

Identifiers

Cite

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⟩
32 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More