MISC

基本情報

氏名 佐藤　洋一郎
氏名（カナ） ｻﾄｳ ﾖｳｲﾁﾛｳ
氏名（英語） Sato Yoichiro
所属 機構 研究社会連携機構 研究社会連携ｾﾝﾀｰ
職名 教授
researchmap研究者コード 1000035611
researchmap機関 岡山理科大学

題名 

SMTソルバを用いた時間ペトリネットの非有界モデル検査

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
 

					

					

						

							

								

									
著者 

									
								

							

						

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

					

					

						

							

								

									
概要 

									
								

							

						

						
 

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

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

					

					

						

							

								

									
出版者 

									
								

							

						

						
 

					

					

						

							

								

									
巻 

									
								

							

						

						
118

					

					

						

							

								

									
号 

									
								

							

						

						
384(MSS2018 54-80)

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
 

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
 

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2019

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
 

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
 

					

					

						

							

								

									
記述言語 

									
								

							

						

						
 

					

					

						

							

								

									
掲載種別 

									
								

							

						

						
 

					

					

						

							

								

									
ISSN 

									
								

							

						

						
 

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						
 

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						
 

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						
 

					

					
					

						

							

								

									
JGlobalID 

									
								

							

						

						
 

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						
 

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						
 

					

					

						

							

								

									
DBLP ID