講演・口頭発表等

基本情報

氏名 近藤　真史
氏名（カナ） ｺﾝﾄﾞｳ ﾏｻﾌﾐ
氏名（英語） Kondou Masafumi
所属 工学部 情報工学科
職名 准教授
researchmap研究者コード B000300091
researchmap機関 岡山理科大学

タイトル 

時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法

					

					

						

							

								

									
講演者 

									
								

							

						

						
三輪陽介
横川智教
宮崎仁
近藤真史
佐藤洋一郎

					

					

						

							

								

									
会議名 

									
								

							

						

						
電子情報通信学会 第10回情報科学技術フォーラム(FIT2011)

					

					

						

							

								

									
開催年月日 

									
								

							

						

						
2011-09-07

					

					

						

							

								

									
招待の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
記述言語 

									
								

							

						

						
 

					

					

						

							

								

									
発表種類 

									
								

							

						

						
 

					

					

						

							

								

									
会議区分 

									
								

							

						

						
 

					

					

						

							

								

									
会議種別 

									
								

							

						

						
 

					

					

						

							

								

									
主催者 

									
								

							

						

						
 

					

					

						

							

								

									
開催地 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
概要