講座日程:2015年8月27日(1日間)
「特集:組込みシステム産業を支える産総研の本格研究」産総研 TODAY Vol. 11-12. (http://www.aist.go.jp/aist_j/aistinfo/aist_today/vol11_12/vol11_12_main.html)
組込みシステム技術連携研究体の活動紹介 共同研究事例:形式手法を利用した高信頼ソフトウェアのためのテスト設計技術の開発 共同研究事例:上流工程大規模テストのための技術開発 「ソフトウェア工学の道具としての形式手法」中島震著,NII Technical Report NII-2007-007J. (http://www.nii.ac.jp/TechReports/07-007J.pdf)
Copyright © 組込みシステム産業振興機構 All Rights Reserved.
お問合せ | 交通アクセス | サイトマップ | リンク | プライバシーポリシー