お知らせ
2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ
技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ
電子情報通信学会における研究会開催について
お知らせ NEW
参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
トップに戻る
前のページに戻る
[Japanese]
/
[English]
講演抄録/キーワード
講演名
2019-07-12 15:35
ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境
○
内藤駿人
・
横川智教
・
天嵜聡介
(
岡山県立大
)・
阿萬裕久
(
愛媛大
)・
有本和民
(
岡山県立大
)
SS2019-1 KBSE2019-11
抄録
(和)
(まだ登録されていません)
(英)
(Not available yet)
キーワード
(和)
/ / / / / / /
(英)
/ / / / / / /
文献情報
信学技報, vol. 119, no. 112, SS2019-1, pp. 41-46, 2019年7月.
資料番号
SS2019-1
発行日
2019-07-05 (SS, KBSE)
ISSN
Online edition: ISSN 2432-6380
著作権に
ついて
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
PDFダウンロード
SS2019-1 KBSE2019-11
研究会情報
研究会
KBSE SS IPSJ-SE
開催期間
2019-07-12 - 2019-07-14
開催地(和)
小樽経済センター
開催地(英)
テーマ(和)
知能ソフトウェア工学全般/ソフトウェアサイエンス全般/ソフトウェア工学全般
テーマ(英)
講演論文情報の詳細
申込み研究会
SS
会議コード
2019-07-KBSE-SS-SE
本文の言語
日本語
タイトル(和)
ビジュアルプログラミングを用いたNuSMVのモデル生成支援環境
サブタイトル(和)
タイトル(英)
Visual Programming Language for Model-Checker NuSMV
サブタイトル(英)
キーワード(1)(和/英)
/
キーワード(2)(和/英)
/
キーワード(3)(和/英)
/
キーワード(4)(和/英)
/
キーワード(5)(和/英)
/
キーワード(6)(和/英)
/
キーワード(7)(和/英)
/
キーワード(8)(和/英)
/
第1著者 氏名(和/英/ヨミ)
内藤 駿人
/
Hayato Naito
/
ナイトウ ハヤト
第1著者 所属(和/英)
岡山県立大学
(略称:
岡山県立大
)
Okayama Prefectural University
(略称:
Okayama Prefectural Univ.
)
第2著者 氏名(和/英/ヨミ)
横川 智教
/
Tomoyuki Yokogawa
/
ヨコガワ トモユキ
第2著者 所属(和/英)
岡山県立大学
(略称:
岡山県立大
)
Okayama Prefectural University
(略称:
Okayama Prefectural Univ.
)
第3著者 氏名(和/英/ヨミ)
天嵜 聡介
/
Sousuke Amasaki
/
アマサキ ソウスケ
第3著者 所属(和/英)
岡山県立大学
(略称:
岡山県立大
)
Okayama Prefectural University
(略称:
Okayama Prefectural Univ.
)
第4著者 氏名(和/英/ヨミ)
阿萬 裕久
/
Hirohisa Aman
/
アマン ヒロヒサ
第4著者 所属(和/英)
愛媛大学
(略称:
愛媛大
)
Ehime University
(略称:
Ehime Univ.
)
第5著者 氏名(和/英/ヨミ)
有本 和民
/
Kazutami Arimoto
/
アリモト カズタミ
第5著者 所属(和/英)
岡山県立大学
(略称:
岡山県立大
)
Okayama Prefectural University
(略称:
Okayama Prefectural Univ.
)
第6著者 氏名(和/英/ヨミ)
/ /
第6著者 所属(和/英)
(略称: )
(略称: )
第7著者 氏名(和/英/ヨミ)
/ /
第7著者 所属(和/英)
(略称: )
(略称: )
第8著者 氏名(和/英/ヨミ)
/ /
第8著者 所属(和/英)
(略称: )
(略称: )
第9著者 氏名(和/英/ヨミ)
/ /
第9著者 所属(和/英)
(略称: )
(略称: )
第10著者 氏名(和/英/ヨミ)
/ /
第10著者 所属(和/英)
(略称: )
(略称: )
第11著者 氏名(和/英/ヨミ)
/ /
第11著者 所属(和/英)
(略称: )
(略称: )
第12著者 氏名(和/英/ヨミ)
/ /
第12著者 所属(和/英)
(略称: )
(略称: )
第13著者 氏名(和/英/ヨミ)
/ /
第13著者 所属(和/英)
(略称: )
(略称: )
第14著者 氏名(和/英/ヨミ)
/ /
第14著者 所属(和/英)
(略称: )
(略称: )
第15著者 氏名(和/英/ヨミ)
/ /
第15著者 所属(和/英)
(略称: )
(略称: )
第16著者 氏名(和/英/ヨミ)
/ /
第16著者 所属(和/英)
(略称: )
(略称: )
第17著者 氏名(和/英/ヨミ)
/ /
第17著者 所属(和/英)
(略称: )
(略称: )
第18著者 氏名(和/英/ヨミ)
/ /
第18著者 所属(和/英)
(略称: )
(略称: )
第19著者 氏名(和/英/ヨミ)
/ /
第19著者 所属(和/英)
(略称: )
(略称: )
第20著者 氏名(和/英/ヨミ)
/ /
第20著者 所属(和/英)
(略称: )
(略称: )
講演者
第1著者
発表日時
2019-07-12 15:35:00
発表時間
25分
申込先研究会
SS
資料番号
SS2019-1, KBSE2019-11
巻番号(vol)
vol.119
号番号(no)
no.112(SS), no.113(KBSE)
ページ範囲
pp.41-46
ページ数
6
発行日
2019-07-05 (SS, KBSE)
[研究会発表申込システムのトップページに戻る]
[電子情報通信学会ホームページ]
IEICE / 電子情報通信学会