ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発

Call No. (NDL): Y151-H14580368
Bibliographic ID of National Diet Library: 000007818319

Material type: 図書

Author: 山根智, 金沢大学 [著]

Publisher: [山根智]

Publication date: 2002-2004

Material Format: Paper

Capacity, size, etc.: 174p

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: ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発
Title Transcription: ハイブリッドモデルニヨルクミコミシステムノコウシンライセイセッケイホウホウロンノコウチクトシエンカンキョウノカイハツ
Author/Editor: 山根智, 金沢大学 [著]
Author Heading: 山根, 智ヤマネ, サトシ
金沢大学カナザワダイガク
Publication, Distribution, etc.: [山根智]
Publication Date: 2002-2004
2005.3
Publication Date (W3CDTF): 2002
2004
Extent: 174p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: ハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / 模倣検証ハイブリッドモデル / クミコミシステム / ショウサイカケンショウ / シヨウキジュツ / テイリショウメイ / カクリツ / モホウケンショウ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 14580368
Holding library: 国立国会図書館
Call No.: Y151-H14580368
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007818319
http://id.ndl.go.jp/bib/000007818319
Bibliographic Record Category (NDL): 214