Help
Help
雑誌電子情報通信学会技術研究報告 : 信学技報
Volume number112(377):2013.1.16･17
ArticleUML図を用いた設計...

UML図を用いた設計検証の自動化手法の開発 (リコンフィギャラブルシステム)

Icons representing 記事

UML図を用いた設計検証の自動化手法の開発

(リコンフィギャラブルシステム)

Call No. (NDL)
Z16-940
Bibliographic ID of National Diet Library
024265826
Material type
記事
Author
狩野 大樹ほか
Publisher
東京 : 電子情報通信学会
Publication date
2013-01
Material Format
Paper
Journal name
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 112(377):2013.1.16・17
Publication Page
p.141-146
View All

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
UML図を用いた設計検証の自動化手法の開発
Author/Editor
狩野 大樹
清水 尚彦
Series Title
リコンフィギャラブルシステム
Author Heading
狩野 大樹
清水 尚彦
Alternative Title
The Method for Automation of Design Verification using UML Diagram
Periodical title
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報
No. or year of volume/issue
112(377):2013.1.16・17
Volume
112
Issue
377