実時間ソフトウエアの仕様記述とその検証方式の研究

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: 1995-1997
Publication Date (W3CDTF): 1995
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: 実時間ソフトウエアジツジカンソフトウエア
仕様記述シヨウキジユツ
検証方式ケンシヨウホウシキ
時間論理ジカンロンリ
実時間論理ジツジカンロンリ
線形論理センケイロンリ
適切さの論理テキセツサノロンリ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 07680341
Holding library: 国立国会図書館
Call No.: Y151-H07680341
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007009604
http://id.ndl.go.jp/bib/000007009604
Bibliographic Record Category (NDL): 214