お知らせ 研究会の開催と会場に参加される皆様へのお願い(2020年10月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 2件中 1~2件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
MSS 2010-01-21
13:00
愛知 豊田中央研究所アクタスCホール 検証モデリングの比較検討 ~ 組込みソフトウェアの事例 ~
中島 震NII)・谷津弘一野中 哲佐原 伸タオベアーズCST2009-37
 [more] CST2009-37
pp.1-6
ICD, IPSJ-ARC, IPSJ-EMB
(共催)
2009-01-14
09:00
大阪 松心会館(大阪) LTSAとSPINを連携させたタスク設計の提案
藤倉俊幸イーソル)・野中 哲タオベアーズ)・宇佐美雅紀イーソル
タスク分割および基本的な同期構造の設計および検証をLTSAでおこない.次に,検証済みのLTSAモデルをpromelaに変... [more] ICD2008-136
pp.39-44
 2件中 1~2件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会