Site Tools



  • Choi, Eu-Teum, Ok-Kyoon Ha, and Yong-Kee Jun, “AR653: Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications,” International Journal of Software Engineering and Its Applications (IJSEIA), SERSC, Vol. 10(1), pp.201-212, January 2016.
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/chhj16.txt · Last modified: 2017-01-02 17:01 by 이건표