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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 3件中 1~3件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
DC 2012-12-14
16:30
福井 アオッサ(福井) ATP閉そくシステムにおける形式化と分析の検討
謝 国望月 寛高橋 聖中村英夫日大DC2012-78
 [more] DC2012-78
pp.27-30
SSS 2012-05-24
15:50
東京 機械振興会館 ATP閉そくシステムの仕様妥当性のモデルベース検証
謝 国黒田智也望月 宏高橋 聖中村英夫日大SSS2012-4
 [more] SSS2012-4
pp.17-20
DC 2011-12-16
14:30
兵庫 豊岡市社会福祉協議会/城崎地区センター A Safety Estimation of the ATPB System using UML and Formal Method
Guo XieHiroshi MochizukiSei TakahashiHideo NakamuraNihon Univ.DC2011-70
在来線の経営改善と活性化を目指し、新たな列車制御システム「ATP閉そく」が提案された。本論文では、システムの仕様の正当性... [more] DC2011-70
pp.13-16
 3件中 1~3件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会