![](/img/cover-not-exists.png)
Graph-tree-based software control flow checking for COTS processors on pico-satellites
Yang, Mu, Wang, Hao, Zheng, Yangming, Jin, ZhongheVolume:
26
Language:
english
Journal:
Chinese Journal of Aeronautics
DOI:
10.1016/j.cja.2013.02.019
Date:
April, 2013
File:
PDF, 515 KB
english, 2013