BibTeX record conf/rtas/ZhanGXJW0LCYZ21

• > Home > conf/rtas/ZhanGXJW0LCYZ21

@inproceedings{DBLP:conf/rtas/ZhanGXJW0LCYZ21,
  author       = {Bohua Zhan and
                  Bin Gu and
                  Xiong Xu and
                  Xiangyu Jin and
                  Shuling Wang and
                  Bai Xue and
                  Xiaofeng Li and
                  Yao Chen and
                  Mengfei Yang and
                  Naijun Zhan},
  title        = {Brief Industry Paper: Modeling and Verification of Descent Guidance
                  Control of Mars Lander},
  booktitle    = {27th {IEEE} Real-Time and Embedded Technology and Applications Symposium,
                  {RTAS} 2021, Nashville, TN, USA, May 18-21, 2021},
  pages        = {457--460},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/RTAS52030.2021.00051},
  doi          = {10.1109/RTAS52030.2021.00051},
  timestamp    = {Tue, 15 Nov 2022 13:06:00 +0100},
  biburl       = {https://dblp.org/rec/conf/rtas/ZhanGXJW0LCYZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}