MISC

基本情報

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

題名 

B-027 時間ペトリネットでモデル化されたGALSシステムを対象としたUPPAALによる自動検証手法(ソフトウェアサイエンス,B分野:ソフトウェア)

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						

					

					

						

							

								

									
著者 

									
								

							

						

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

					

					

						

							

								

									
概要 

									
								

							

						

						

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
情報科学技術フォーラム講演論文集

					

					

						

							

								

									
出版者 

									
								

							

						

						
FIT(電子情報通信学会・情報処理学会)運営委員会

					

					

						

							

								

									
巻 

									
								

							

						

						
10

					

					

						

							

								

									
号 

									
								

							

						

						
1

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
309

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
310

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2011/09

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
記述言語 

									
								

							

						

						
日本語

					

					

						

							

								

									
掲載種別 

									
								

							

						

						

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						

					

					
					

						

							

								

									
JGlobalID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID