MISC

基本情報

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

題名 

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

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
 

					

					

						

							

								

									
著者 

									
								

							

						

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

					

					

						

							

								

									
概要 

									
								

							

						

						
 

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

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

					

					

						

							

								

									
出版者 

									
								

							

						

						
 

					

					

						

							

								

									
巻 

									
								

							

						

						
10th

					

					

						

							

								

									
号 

									
								

							

						

						
 

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
 

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
 

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2011

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
 

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
 

					

					

						

							

								

									
記述言語 

									
								

							

						

						
 

					

					

						

							

								

									
掲載種別 

									
								

							

						

						
 

					

					

						

							

								

									
ISSN 

									
								

							

						

						
 

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						
 

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						
 

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						
 

					

					
					

						

							

								

									
JGlobalID 

									
								

							

						

						
 

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						
 

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						
 

					

					

						

							

								

									
DBLP ID