Communication Dans Un Congrès
Année : 2013
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01765545
Soumis le : jeudi 12 avril 2018-22:16:22
Dernière modification le : samedi 10 février 2024-03:07:37
Dates et versions
Identifiants
- HAL Id : hal-01765545 , version 1
Citer
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
84
Consultations
0
Téléchargements