電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ/通ソ)
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 2件中 1〜2件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2019-03-04
17:10
沖縄 沖縄産業支援センター ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案
辻 光顕高井利憲奈良先端大)・片平真史石濱直樹JAXA)・柿本和希飯田 元奈良先端大
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] SS2018-67
pp.91-96
SS, MSS
(共催)
2018-01-19
12:45
広島 広島市立大学サテライトキャンパス 開発標準プロセスを用いた不完全なソフトウェア要求に対する問題検出の分類法
宮村純真奈良先端大)・川口真司石濱直樹柿本和希JAXA)・飯田 元奈良先端大)・片平真史JAXA
宇宙機(人工衛星やロケット)の開発および運用において,ソフトウェアの不具合はミッションの成功に対して大きな妨げとなってい... [more] MSS2017-66 SS2017-53
pp.107-112
 2件中 1〜2件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会