Conference

Basic information

Name Kondou Masafumi
Belonging department
Occupation name
researchmap researcher code B000300091
researchmap agency Okayama University of Science

Title 

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

					

					

						

							

								

									
Author 

									
								

							

						

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

					

					

						

							

								

									
Journal 

									
								

							

						

						
電子情報通信学会 第10回情報科学技術フォーラム(FIT2011)

					

					

						

							

								

									
Publication Date 

									
								

							

						

						
2011-09-07

					

					

						

							

								

									
Invited 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Language 

									
								

							

						

						
 

					

					

						

							

								

									
  

									
								

							

						

						
 

					

					

						

							

								

									
Conference Class 

									
								

							

						

						
 

					

					

						

							

								

									
Conference Type 

									
								

							

						

						
 

					

					

						

							

								

									
Promoter 

									
								

							

						

						
 

					

					

						

							

								

									
Venue 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
Summary