Deniz, E., Şen, A., Holt, J., “Verification and coverage of message passing multicore applications”, ACM Transactions on Design Automation of Electronic Systems, 17, 3, Article Number: 23, 2012.

Yayın Tarihi: 
Pazar, 1 Ocak, 2012
Yayın Indexi: 
Yayın Bölümü: 
Yayın Türü: