Jump to main content
図書

有限状態システムの形式的設計検証に関する研究

Icons representing 図書

有限状態システムの形式的設計検証に関する研究

Call No. (NDL)
Y151-H05680285
Bibliographic ID of National Diet Library
000006994660
Material type
図書
Author
平石, 裕実, 京都産業大学
Publisher
-
Publication date
1993-1994
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

文部省科学研究費補助金研究成果報告書

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
Title Transcription
ユウゲン ジョウタイ システム ノ ケイシキテキ セッケイ ケンショウ ニ カンスル ケンキュウ
Author/Editor
平石, 裕実, 京都産業大学
Author Heading
平石, 裕実 ヒライシ, ヒロミ
Publication Date
1993-1994
Publication Date (W3CDTF)
1993
Extent
Additional Title
研究種目 一般研究(C)
Subject Heading
形式的設計検証 ケイシキテキセツケイケンシヨウ
有限状態システム ユウゲンジヨウタイシステム
時相論理 ジソウロンリ
記号モデル検査 キゴウモデルケンサ
論理設計検証 ロンリセツケイケンシヨウ