![](/img/cover-not-exists.png)
Bipartite graph-based control flow checking for COTS-based small satellites
Wang, Honghao, Wang, Huiquan, Jin, ZhongheVolume:
28
Language:
english
Journal:
Chinese Journal of Aeronautics
DOI:
10.1016/j.cja.2015.04.010
Date:
June, 2015
File:
PDF, 1.02 MB
english, 2015