Journal Articles
International Journal on Software Tools for Technology Transfer
Year : 2022
Florian Brandner : Connect in order to contact the contributor
https://telecom-paris.hal.science/hal-03702426
Submitted on : Thursday, June 23, 2022-10:02:51 AM
Last modification on : Sunday, April 2, 2023-10:56:04 AM
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⟩
Collections
32
View
0
Download