Dependable Software Lab.

Site Tools

Sidebar

pub:tckj13

TcKJ13

  • G. M. Tchamgoue, K. H. Kim, and Y.-K. Jun, "Verification of Data Races in Concurrent Interrupt Handlers", International Journal of Distributed Sensor Networks, vol. 2013, Article ID 953593, DOI, 14 pages, 2013, Hindawi.
, , , , ,
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/tckj13.txt · Last modified: 2014-06-27 11:30 by In-Bon Kuh

Page Tools