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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 3件中 1~3件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS, CAS
(共催)
IPSJ-AL
(連催) [詳細]
2016-11-25
12:55
兵庫 神戸情報大学院大学 同期回路の機能的定義による同期概念の形式化
西村俊二尼崎太樹末吉敏則熊本大CAS2016-73 MSS2016-53
同期回路は多くの場合Dフリップフロップ(D-FF)同期回路を指すが,D-FF同期回路のみが同期という概念の全てを十分に表... [more] CAS2016-73 MSS2016-53
pp.99-104
VLD, DC, IPSJ-SLDM
(連催)
ICD, CPM
(共催)
CPSY, RECONF
(併催) [詳細]
2014-11-26
10:45
大分 ビーコンプラザ(別府国際コンベンションセンター) タイミング制約を含んだ回路記述方式とその意味論
西村俊二尼崎太樹末吉敏則熊本大VLD2014-82 DC2014-36
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,その検証対象は同期回路に限られ... [more] VLD2014-82 DC2014-36
pp.81-86
RECONF 2014-09-19
14:40
広島 杜の宿 様相論理によるマルチクロック同期回路の形式検証体系
西村俊二尼崎太樹末吉敏則熊本大RECONF2014-33
数学的な理論に基づく厳密な検証が可能となることから,各種の形式検証手法が広がりつつあるが,多くの場合検証対象は単一クロッ... [more] RECONF2014-33
pp.93-98
 3件中 1~3件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会