多旋翼飞控推进子系统的Coq形式化验证
In: 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2150
academicJournal
Zugriff:
Titel: |
多旋翼飞控推进子系统的Coq形式化验证
|
---|---|
Autor/in / Beteiligte Person: | 石正璞;崔敏;谢果君;陈钢 |
Link: | |
Zeitschrift: | 软件学报 / Journal of Software, Jg. 33 (2022), Heft 6, S. 2150 |
Veröffentlichung: | 2022 |
Medientyp: | academicJournal |
ISSN: | 1000-9825 (print) |
Sonstiges: |
|