形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究

形式的検証手法を利用したデジタルシステムの設計デバッグ技術に関する研究

Call No. (NDL): Y151-H14350178
Bibliographic ID of National Diet Library: 000007978751

Material type: 図書

Author: 藤田昌宏, 東京大学 [著]

Publisher: [藤田昌宏]

Publication date: 2002-2004

Material Format: Paper

Capacity, size, etc.: 3, 151p

NDC: -

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

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: 3, 151p
Additional Title: 研究種目基盤研究(B)
Place of Publication (Country Code): JP
Text Language Code: jpn
Subject Heading: システムLSI / 形式的検証技術 / デバッグシステム LSI / ケイシキテキケンショウギジュツ / デバッグ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 14350178
Holding library: 国立国会図書館
Call No.: Y151-H14350178
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007978751
http://id.ndl.go.jp/bib/000007978751
Bibliographic Record Category (NDL): 214