図書

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

Icons representing 図書

時相論理と並行計算、オートマトンの統合化による自律性のある分散システムの設計支援

Call No. (NDL)
Y151-H11680360
Bibliographic ID of National Diet Library
000007075826
Material type
図書
Author
山根, 智, 金沢大学
Publisher
-
Publication date
1999-2001
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
1999-2001
Publication Date (W3CDTF)
1999
Extent
Additional Title
研究種目 基盤研究(C)
Subject Heading
分散システム ブンサンシステム
時相論理 ジソウロンリ
演繹的検証 エンエキテキケンシヨウ
リアルタイム性 リアルタイムセイ
詳細化検証 シヨウサイカケンシヨウ
Assume-Guarantee ASSUME-GUARANTEE
receptive RECEPTIVE