時相理論に基づく論理設計の形式的検証システムの試作研究

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
1994
Extent: 冊
Additional Title: 研究種目試験研究(B)
Subject Heading: 時相論理ジソウロンリ
論理設計ロンリセツケイ
形式的検証ケイシキテキケンシヨウ
論理関数処理ロンリカンスウシヨリ
二分決定グラフニブンケツテイグラフ
モデルチエツキングモデルチエツキング
仕様記述シヨウキジユツ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 05558030
Holding library: 国立国会図書館
Call No.: Y151-H05558030
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006992234
http://id.ndl.go.jp/bib/000006992234
Bibliographic Record Category (NDL): 214