文献
J-GLOBAL ID:201202252206418520
整理番号:12A1643295
小形無人ヘリコプタの運用飛行計画の形式モデリングと検証
Formal Modeling and Verification of Operational Flight Program in a Small-Scale Unmanned Helicopter
著者 (4件):
LEE Dong-Ah
(Konkuk Univ., Seoul, KOR)
,
SUNG Sangkyung
(Konkuk Univ., Seoul, KOR)
,
YOO Junbeom
(Konkuk Univ., Seoul, KOR)
,
KIM Doo-Hyun
(Konkuk Univ., Seoul, KOR)
資料名:
Journal of Aerospace Engineering
(Journal of Aerospace Engineering)
巻:
25
号:
4
ページ:
530-540
発行年:
2012年10月
JST資料番号:
T0435A
ISSN:
0893-1321
CODEN:
JAEEEZ
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)