論文

基本情報

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

題名

Applying Model Checking Techniques to Temporal Queries

単著・共著の別

単著

概要

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

発行雑誌等の名称

千葉商大紀要

巻・号・掲載ページ(移行用)

第42巻第2号(97)

発行又は発表の年月

200409