Beltrame, G., Bolchini, C., & Miele, A. (mai 2009). Multi-level fault modeling for transaction-level specifications [Communication écrite]. ACM Great Lakes Symposium on VLSI (GLSVLSI 2009), Boston, MA, United states. Lien externe
