お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 2件中 1~2件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2019-03-04
17:10
沖縄 沖縄産業支援センター ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案
辻 光顕高井利憲奈良先端大)・片平真史石濱直樹JAXA)・柿本和希飯田 元奈良先端大SS2018-67
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析... [more] SS2018-67
pp.91-96
SS, KBSE
(共催)
IPSJ-SE
(連催) [詳細]
2017-07-19
10:45
北海道 函館コミュニティプラザ 端末交通システムにおける運行スケジュールのモデル検査法を用いたデッドロック検出手法
辻 光顕長谷部浩二加藤和彦筑波大SS2017-2 KBSE2017-2
著者らは車両の自律動作により隊列走行可能な端末交通システムの研究開発を行っている.このシステムの特長は,隊列を再編成する... [more] SS2017-2 KBSE2017-2
pp.7-12
 2件中 1~2件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会