Detecting Atomicity Races in ARINC 653 Applications

2015 8th International Conference on Grid and Distributed Computing (GDC) ◽

10.1109/gdc.2015.16 ◽

2015 ◽

Author(s):

Eu-Teum Choi ◽

Se-Won Park ◽

Ok-Kyoon Ha ◽

Yong-Kee Jun

Download Full-text