「宇宙科学技術連合講演会」における弊社発表概要

以下の日程で開催される「第64回宇宙科学技術連合講演会」において弊社とJAXA様連名でDynaSpecを利用した形式検証適用事例を発表します。

本研究は、経済産業省からの委託事業 「宇宙産業技術情報基盤整備研究開発事業（民生部品等を活用した宇宙機器の軌道上等実証）」 の成果です。

第64回宇宙科学技術連合講演会

https://branch.jsass.or.jp/ukaren64/

開催日　2020年10月27日（火）～30日（金）WEB開催

主催　　一般社団法人　日本航空宇宙学会

弊社発表セッション

　10月28日（水）

https://branch.jsass.or.jp/ukaren64/wp-content/uploads/sites/30/2020/10/20201028.pdf

　　OS17　宇宙輸送を⽀える要素技 術の研究開発（３）

　　　2B09　形式検証による⾃律⾶⾏安全システムの安全性検証

10月12日で参加受付は締め切られますが、発表内容にご興味をお持ちの場合は

当サイトの「お問い合わせ」にてご相談下さい。