論文

基本情報

氏名 大矢野 潤
氏名（カナ） オオヤノ ジュン
氏名（英語） OYANO, Jun
所属 政策情報学部
職名 教授
researchmap研究者コード
researchmap機関

題名 

Applying Model Checking Techniques to Temporal Queries

					

					

						

							

								

									
単著・共著の別 

									
								

							

						

						
単著

					

					

						

							

								

									
概要 

									
								

							

						

						
時制論理に基づくモデル検査技法は、動的性質を持つデータベースの問い合わせシステムとして応用できることを示した。

					

					

						

							

								

									
発行雑誌等の名称 

									
								

							

						

						
千葉商大紀要

					

					

						

							

								

									
巻・号・掲載ページ（移行用） 

									
								

							

						

						
第42巻第2号（97）

					

					

						

							

								

									
発行又は発表の年月 

									
								

							

						

						
2004/09