MISC

Basic information

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

Title 

B-027 Formal Verification of GALS Systems modeled by Timed Petri Nets using UPPAAL

					

					

						

							

								

									
Bibliography　Type 

									
								

							

						

						

					

					

						

							

								

									
Author 

									
								

							

						

						
MIWA Yosuke
YOKOGAWA Tomoyuki
MIYAZAKI Hisashi
KONDO Masafumi
SATO Yoichiro

					

					

						

							

								

									
Summary 

									
								

							

						

						

					

					

						

							

								

									
Magazine(name) 

									
								

							

						

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

					

					

						

							

								

									
Publisher 

									
								

							

						

						
FIT(電子情報通信学会・情報処理学会)運営委員会

					

					

						

							

								

									
Volume 

									
								

							

						

						
10

					

					

						

							

								

									
Number Of Pages 

									
								

							

						

						
1

					

					

						

							

								

									
StartingPage 

									
								

							

						

						
309

					

					

						

							

								

									
EndingPage 

									
								

							

						

						
310

					

					

						

							

								

									
Date of Issue 

									
								

							

						

						
2011/09

					

					

						

							

								

									
Referee 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Request 

									
								

							

						

						
Not exist

					

					

						

							

								

									
Language 

									
								

							

						

						
Japanese

					

					

						

							

								

									
Posting type 

									
								

							

						

						

					

					

						

							

								

									
ISSN 

									
								

							

						

						

					

					

						

							

								

									
DOI 

									
								

							

						

						

					

					

						

							

								

									
NAID 

									
								

							

						

						

					

					

						

							

								

									
PMID 

									
								

							

						

						

					

					
					

						

							

								

									
J-GLOBAL ID 

									
								

							

						

						

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						

					

					

						

							

								

									
ORCID Put Code 

									
								

							

						

						

					

					

						

							

								

									
DBLP ID