MISC

基本情報

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

題名 

Algebraic Specification of Sequential Circuit with an Unfixed Number of Modules and Its Verification

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
 

					

					

						

							

								

									
著者 

									
								

							

						

						
 

					

					

						

							

								

									
概要 

									
								

							

						

						
 

					

					

						

							

								

									
発表雑誌等の名称 

									
								

							

						

						
The Transactions of the Institute of Electronics, Information and Communication Engineers(DI)

					

					

						

							

								

									
出版者 

									
								

							

						

						
 

					

					

						

							

								

									
巻 

									
								

							

						

						
J76-D-I

					

					

						

							

								

									
号 

									
								

							

						

						
11

					

					

						

							

								

									
開始ページ 

									
								

							

						

						
594

					

					

						

							

								

									
終了ページ 

									
								

							

						

						
603

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
1993

					

					

						

							

								

									
査読の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
依頼の有無 

									
								

							

						

						
無し

					

					

						

							

								

									
記述言語 

									
								

							

						

						
 

					

					

						

							

								

									
掲載種別 

									
								

							

						

						
 

					

					

						

							

								

									
ISSN 

									
								

							

						

						
 

					

					

						

							

								

									
ID:DOI 

									
								

							

						

						
 

					

					

						

							

								

									
ID:NAID(CiNiiのID) 

									
								

							

						

						
 

					

					

						

							

								

									
ID:PMID 

									
								

							

						

						
 

					

					

						

							

								

									
URL 

									
								

							

						

						

					

					

						

							

								

									
JGlobalID 

									
								

							

						

						
 

					

					

						

							

								

									
arXiv ID 

									
								

							

						

						
 

					

					

						

							

								

									
ORCIDのPut Code 

									
								

							

						

						
 

					

					

						

							

								

									
DBLP ID