検索結果 20 件
デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館全国の図書館
- 件名組込みシステム 拡張 ソフトウェア ホームネットワーク 自動車
紙図書
国立国会図書館
- 件名コシミュレーション / リアルタイムOS / SystemC / 組込みシステム / マルチプロセッサ
紙図書
国立国会図書館
- 件名ユビキタス / かんばん方式 / モジュール化 / RF-ID / 組込みシステム / 標準化 / 中小製造企業 / 電子タグ
紙図書
国立国会図書館
- 件名ハイブリッドモデル / 組込みシステム / 詳細化検証 / 仕様記述 / 定理証明 / 確率 / ...
デジタル文書・図像類
全国の図書館
- 件名組込みシステム 述語抽象化検証 オブジェクト指向
- 一般注記...題「述語抽象化検証による大規模組込みシステム向きオブジェクト指向設計自動検証手法」課題番号1950002...
デジタル文書・図像類
全国の図書館
- 件名組込みシステム ハイブリッドオートマトン モデル検査 抽象化精錬 仕様記述...
- 一般注記金沢大学 理工研究域電子情報通信学系 動的再構成可能組込みシステムは,ソフトウェア(汎用CPU)......検証を実現して,動的再構成可能組込みシステムの高度な設計検証技術を確立して,その有効性を実証する. A ...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名組込みシステム 低消費エネルギー メモリ管理 マルチタスクアプリケーション...
デジタル文書・図像類
インターネットで読める全国の図書館
- 件名低消費エネルギー マイクロプロセッサ 組込みシステム ビット幅 コンパイラ最適化技術 Low energy mi...
デジタル文書・図像類
全国の図書館
- 件名ハイブリッドモデル 組込みシステム 高信頼性設計方法 演繹的詳細化検証 モジュール演繹的検証 ...
- 一般注記...典:「ハイブリッドモデルによる組込みシステムの高信頼性設計方法論の構築と支援環境の開発」研究成果報告書 ...
検索結果は以上です。