文献
J-GLOBAL ID:202002233143377836
整理番号:20A2013873
航空機衝突回避操作中の非決定性水平ターンのための形式的検証タイミング計算【JST・京大機械翻訳】
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers
著者 (4件):
Kouskoulas Yanni
(The Johns Hopkins University Applied Physics Laboratory, Laurel, MD, USA)
,
Machado T. J.
(The Johns Hopkins University Applied Physics Laboratory, Laurel, MD, USA)
,
Machado T. J.
(Department of Mathematics, New Mexico State University, Las Cruces, NM, USA)
,
Genin Daniel
(The Johns Hopkins University Applied Physics Laboratory, Laurel, MD, USA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12327
ページ:
113-129
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)