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

Notes on use

Search by Bookstore

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

Material Type: 図書
Title: 有限状態システムの形式的設計検証に関する研究
Title Transcription: ユウゲンジョウタイシステムノケイシキテキセッケイケンショウニカンスルケンキュウ
Author/Editor: 平石, 裕実, 京都産業大学
Author Heading: 平石, 裕実ヒライシ, ヒロミ
Publication Date: 1993-1994
Publication Date (W3CDTF): 1993
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 形式的設計検証ケイシキテキセツケイケンシヨウ
有限状態システムユウゲンジヨウタイシステム
時相論理ジソウロンリ
記号モデル検査キゴウモデルケンサ
論理設計検証ロンリセツケイケンシヨウ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 05680285
Holding library: 国立国会図書館
Call No.: Y151-H05680285
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006994660
http://id.ndl.go.jp/bib/000006994660
Bibliographic Record Category (NDL): 214