当前位置：
X-MOL 学术
›
J. Aerosp. Inf. Syst.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker
Journal of Aerospace Information Systems ( IF 1.3 ) Pub Date : 2020-10-31 , DOI: 10.2514/1.i010876 Ranjani Krishnan 1 , V. R. Lalithambika 2
Journal of Aerospace Information Systems ( IF 1.3 ) Pub Date : 2020-10-31 , DOI: 10.2514/1.i010876 Ranjani Krishnan 1 , V. R. Lalithambika 2
Affiliation
Journal of Aerospace Information Systems, Ahead of Print.
中文翻译：
使用SPIN模型检查器对运载火箭机载软件进行建模和验证
航空信息系统杂志，预印本。
更新日期：2020-11-02
中文翻译：
使用SPIN模型检查器对运载火箭机载软件进行建模和验证
航空信息系统杂志，预印本。
京公网安备 11010802027423号