Academic Theses
|
|
Basic information
|
| Name | OYANO, Jun |
| Belonging department | |
| Occupation name | |
| researchmap researcher code | |
| researchmap agency |
 |
Applying Model Checking Techniques to Temporal Queries
|
Sole Author
|
時制論理に基づくモデル検査技法は、動的性質を持つデータベースの問い合わせシステムとして応用できることを示した。
|
千葉商大紀要
|
第42巻第2号（97）
|
2004/09