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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 6件中 1~6件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, NLP
(併催)
2020-03-09
18:15
愛知 やすらぎの宿 蒲郡荘
(開催中止,技報発行あり)
OTS/CafeOBJ法によるマルチタスク実時間システムの形式的検証
東 周輝・○中村正樹榊原一紀富山県立大)・緒方和博北陸先端大MSS2019-62
 [more] MSS2019-62
pp.25-30
NLP, MSS
(併催)
2019-03-14
13:20
福井 福井大学 文京キャンパス OTS/CafeOBJ法によるマルチタスク実時間システムの仕様記述
東 周輝中村正樹榊原一紀富山県立大)・緒方和博北陸先端大MSS2018-83
 [more] MSS2018-83
pp.13-18
SS 2015-03-09
09:30
沖縄 沖縄県青年会館 構成子に基づく順序ソートパラメータ化仕様の十分完全性について
中村正樹富山県立大)・ガイナ ダニエル ミルチェア緒方和博二木厚吉北陸先端大SS2014-55
代数仕様言語CafeOBJでは,構成子に基づく順序ソート(CBOS)代数をモデルに持つ仕様を記述できる.また,パラメータ... [more] SS2014-55
pp.1-6
MSS, SS
(共催)
2015-01-26
17:20
鳥取 ブランナールみささ A Consideration on How to Model Check Distributed Snapshot Reachability Property
Wenjie ZhangKazuhiro OgataJAIST)・Min ZhangECNUMSS2014-77 SS2014-41
 [more] MSS2014-77 SS2014-41
pp.49-54
SS 2006-06-22
13:30
岡山 岡山大学創立五十周年記念館 OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
中村正樹孔 維強緒方和博二木厚吉北陸先端大
代数仕様言語を用いて状態遷移機械を記述する手法に,振舞仕様に基づく観測遷移機械(OTS)による手法と書き換え論理に基づく... [more] SS2006-13
pp.1-6
SS 2005-01-20
13:00
宮崎 宮崎大学 木花キャンパス STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
原 光太朗北陸先端大)・緒方和博NEC/北陸先端大)・中村正樹二木厚吉北陸先端大
 [more] SS2004-43
pp.1-6
 6件中 1~6件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会