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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 5件中 1~5件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
SS 2020-03-05
12:05
沖縄 てんぶす那覇
(開催中止,技報発行あり)
STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法
楊 盼岡野浩三小形真平信州大)・岡本圭史仙台高専SS2019-56
システム理論に基づくアクシデントモデルとして,Systems Theoretic Accident Model and ... [more] SS2019-56
pp.93-98
SS 2018-03-06
11:30
沖縄 南大東島 STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察
岡野浩三小形真平楊 盼信州大)・岡本圭史仙台高専SS2017-64
近年情報システムの大規模化複雑化にともない,情報システムの事故原因解明や
事故そのものの事前防止策に注目があつまってい... [more]
SS2017-64
pp.1-6
KBSE 2015-10-30
10:00
東京 日本大学・理工学部・駿河台校舎 1号館 D-CaseによるSysMLの説明力向上を目指して
岡本圭史仙台高専)・松野 裕日大)・吉田 聡鳥取環境大KBSE2015-38
 [more] KBSE2015-38
pp.13-16
IN, IA
(併催)
2012-12-13
15:20
広島 広島市立大学 ユーザコンテキストに基づいた個人・組織情報へのアクセス制御
伊藤 仁小林秀幸岡本圭史仙台高専)・青野雅樹豊橋技科大)・高橋 薫仙台高専IA2012-60
コンピュータやインターネットの利用が爆発的に増加し,様々な機関でデータの収集や蓄積が行われてきている.
また,近年にお... [more]
IA2012-60
pp.7-12
KBSE 2010-11-25
10:50
静岡 静岡大学情報学部 情報システムの構造化仕様のための業務オントロジーの試作
清野貴博岡本圭史和泉憲明橋田浩一産総研KBSE2010-34
地方税に関する自治体の業務は,地方税法に基づいて実施される.本来,こうした業務はどの自治体でも同じになるはずで,それを支... [more] KBSE2010-34
pp.67-72
 5件中 1~5件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会