• International Papers    • Domestic Papers   • Domestic Patents  
• Call For Papers  
 • Related SCI-Journal Lists   • Related SCIE-Journal Lists  
• Related LNCS Lists   • Related ACM/IEEE Conf.   • Software Publication  
• Lab. Softwares  
 • The History of GNU-OSTMs   • The History of Projects  

Year 2013
Code KiHJ13
Title Verification Environment of Race Conditions for Multi-core Architectures in Avionics
Full Title Kim, S.-S, O.-K, Ha, and Y.-K. Jun, "Verification Environment of Race Conditions for Multi-core Architectures in Avionics", The 1st International Conference on Convergence and its Application, ,ICCA 2013, July 2013.
Publication SCOPUS


visit count: 500561 Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
All rights reserved. Terms of Use ☎ +82-55-772-1371
 <Login>