MISC

基本情報

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

題名 

時間ペトリネットでモデル化された非同期システムに対するモデル検査ツールUPPAALの適用

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						

					

					

						

							

								

									
著者 

									
								

							

						

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

					

					

						

							

								

									
概要 

									
								

							

						

						

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
研究報告ソフトウェア工学（SE）

					

					

						

							

								

									
出版者 

									
								

							

						

						

					

					

						

							

								

									
巻 

									
								

							

						

						
2011

					

					

						

							

								

									
号 

									
								

							

						

						
2

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
1

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
7

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2011/07

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
記述言語 

									
								

							

						

						
日本語

					

					

						

							

								

									
掲載種別 

									
								

							

						

						

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						

					

					
					

						

							

								

									
JGlobalID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID