講演・口頭発表等
タイトル
講演者
会議名
開催年月日
招待の有無
記述言語
発表種類
会議区分
会議種別
主催者
開催地
URL
概要
基本情報
氏名
近藤 真史
氏名（カナ）
ｺﾝﾄﾞｳ ﾏｻﾌﾐ
氏名（英語）
Kondou Masafumi
所属
工学部 情報工学科
職名
准教授
researchmap研究者コード
B000300091
researchmap機関
岡山理科大学
タイトル
時間ペトリネットでモデル化された非同期システムに対するモデル検査ツールUPPAAL の適用
講演者
三輪陽介
横川智教
近藤真史
宮崎仁
佐藤洋一郎
会議名
情報処理学会 ソフトウェア工学研究会
開催年月日
2011-07-14
招待の有無
無し
記述言語
発表種類
会議区分
会議種別
主催者
開催地
URL
概要
