Conference

Basic information

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

Title 

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

					

					

						

							

								

									
Author 

									
								

							

						

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

					

					

						

							

								

									
Journal 

									
								

							

						

						
情報処理学会 ソフトウェア工学研究会

					

					

						

							

								

									
Publication Date 

									
								

							

						

						
2011-07-14

					

					

						

							

								

									
Invited 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Language 

									
								

							

						

						
 

					

					

						

							

								

									
  

									
								

							

						

						
 

					

					

						

							

								

									
Conference Class 

									
								

							

						

						
 

					

					

						

							

								

									
Conference Type 

									
								

							

						

						
 

					

					

						

							

								

									
Promoter 

									
								

							

						

						
 

					

					

						

							

								

									
Venue 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
Summary