An Empirical Study of Open Source Flight Control Software Program Model Checking.

Zhiqin Cao, Jinyu Yin, Yichen Wang, Yu Li, Jintao Zhang

Browse the full QRS paper archive.