レベル指向ネットに基づくリアルタイムソフトウェアの効率的解析に関する研究

Call No. (NDL): Y151-H15300009
Bibliographic ID of National Diet Library: 000007858498

Material type: 図書

Author: 米田友洋, 国立情報学研究所 [著]

Publisher: [米田友洋]

Publication date: 2003-2004

Material Format: Paper

Capacity, size, etc.: 255p

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: 米田, 友洋, 1957- ヨネダ, トモヒロ, 1957- ( 00182820 )Authorities
国立情報学研究所コクリツジョウホウガクケンキュウジョ ( 00821713 )Authorities
Publication, Distribution, etc.: [米田友洋]
Publication Date: 2003-2004
2005.6
Publication Date (W3CDTF): 2003
2004
Extent: 255p
Additional Title: 研究種目基盤研究(B)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: リアルタイムソフトウェア / 形式的検証 / レベルタイムペトリネット / Partial order reduction / 階層的検証リアルタイムソフトウェア / ケイシキテキケンショウ / レベルタイムペトリネット / Partial order reduction / カイソウテキケンショウ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15300009
Holding library: 国立国会図書館
Call No.: Y151-H15300009
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007858498
http://id.ndl.go.jp/bib/000007858498
Bibliographic Record Category (NDL): 214