MISC

基本情報

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

題名 

有界モデル検査の高速化を指向した差分論理に基づく時間ペトリネットの論理式表現

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						

					

					

						

							

								

									
著者 

									
								

							

						

						
井川直
横川智教
宮崎仁
近藤真史
佐藤洋一郎
有本和民

					

					

						

							

								

									
概要 

									
								

							

						

						

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
電子情報通信学会技術研究報告(MSS)

					

					

						

							

								

									
出版者 

									
								

							

						

						

					

					

						

							

								

									
巻 

									
								

							

						

						
116

					

					

						

							

								

									
号 

									
								

							

						

						
425

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
59

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
64

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2017/01

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
記述言語 

									
								

							

						

						

					

					

						

							

								

									
掲載種別 

									
								

							

						

						

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
JGlobalID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID