組込みシステム非正常系分析手法の定性推論による定式化

• 片峯 恵一

• 新屋敷 泰史

• 三瀬 敏朗

書誌事項

タイトル別名

• クミコミ システム ヒセイジョウケイ ブンセキ シュホウ ノ テイセイ スイロン ニ ヨル テイシキカ
• Formalization of analysis method of unexpected obstacles in embedded systems from the viewpoint of qualitative reasoning
• 知能ソフトウェア工学
• チノウ ソフトウェア コウガク

収録刊行物

• 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報

  電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 109 (196), 57-62, 2009-09

  東京 : 電子情報通信学会

キーワード

• 組込みシステム
• 定式化
• 定性推論
• 非正常系
• Embedded System
• Formalization
• Qualitative Reasoning
• Unexpected Obstacles

詳細情報

• CRID: 1520009407061261824
• NII論文ID: 110007387575
• NII書誌ID: AA1123312X
• ISSN: 09135685
• NDL書誌ID: 10391253
• Web Site: http://id.ndl.go.jp/bib/10391253
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I10391253
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles
  • KAKEN