Conference Papers
Year : 2013
Burkhart Wolff : Connect in order to contact the contributor
https://inria.hal.science/hal-01765545
Submitted on : Thursday, April 12, 2018-10:16:22 PM
Last modification on : Saturday, February 10, 2024-3:07:37 AM
Dates and versions
Identifiers
- HAL Id : hal-01765545 , version 1
Cite
Achim D. Brucker, Abderrahmane Feliachi, Nemouchi Yakoub, Burkhart Wolff. Test Program Generation for a Microprocessor -- A Case-Study. Proceedings of the 6th Intl. Conf. on Test and Proof (TAP '13), 2013, Budapest, France. ⟨hal-01765545⟩
Collections
85
View
0
Download