Classfication of Reactive System Specifications in Temporal Logic
-
- Mori Ryosei
- Department of Comuter Science, Tokyo Insutitute of Technology
-
- Tomoishi Masahiko
- Department of Comuter Science, Tokyo Insutitute of Technology
-
- Yonezaki Naoki
- Department of Comuter Science, Tokyo Insutitute of Technology
Bibliographic Information
- Other Title
-
- 時相論理によるリアクティブシステム仕様の実現可能性に関する分類
- ジソウ ロンリ ニヨル リアクティブ システム シヨウ ノ ジツゲン カノウセ
Search this article
Abstract
<p></p>
Journal
-
- Computer Software
-
Computer Software 15 (3), 3_213-3_225, 1998-05-15
Japan Society for Software Science and Technology
- Tweet
Details 詳細情報について
-
- CRID
- 1390564238038544768
-
- NII Article ID
- 130007505394
- 110003743207
- 10010731555
-
- NII Book ID
- AN10075819
-
- NDL BIB ID
- 4480316
-
- ISSN
- 02896540
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- NDL
- CiNii Articles
-
- Abstract License Flag
- Disallowed