Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue 0001, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan. Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021. pages 457-460, IEEE, 2021. [doi]
@inproceedings{ZhanGXJW0LCYZ21, title = {Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander}, author = {Bohua Zhan and Bin Gu and Xiong Xu and Xiangyu Jin and Shuling Wang and Bai Xue 0001 and Xiaofeng Li and Yao Chen and Mengfei Yang and Naijun Zhan}, year = {2021}, doi = {10.1109/RTAS52030.2021.00051}, url = {https://doi.org/10.1109/RTAS52030.2021.00051}, researchr = {https://researchr.org/publication/ZhanGXJW0LCYZ21}, cites = {0}, citedby = {0}, pages = {457-460}, booktitle = {27th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2021, Nashville, TN, USA, May 18-21, 2021}, publisher = {IEEE}, isbn = {978-1-6654-0386-3}, }