发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[American Institute of Aeronautics and Astronautics AIAA Infotech @ Aerospace - Kissimmee, Florida ()] AIAA Infotech @ Aerospace - Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft

[American Institute of Aeronautics and Astronautics AIAA Infotech @ Aerospace - Kissimmee, Florida ()] AIAA Infotech @ Aerospace - Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft

Torens, Christoph; Adolf, Florian

作者Torens, Christoph; Adolf, Florian
文件大小1936.15KB
DOI10.2514/6.2015-1645

← 返回【学霸图书馆】主页