ニュースリリース：2013年4月16日：日立

印刷される方はこちらをご覧ください（PDF形式、495kバイト） このニュースリリース記載の情報(製品価格、製品仕様、サービスの内容、発売日、お問い合わせ先、URL等)は、発表日現在の情報です。予告なしに変更され、検索日と情報が異なる可能性もありますので、あらかじめご了承ください。なお、最新のお問い合わせ先は、お問い合わせ一覧をご覧下さい。 2013年4月16日 株式会社日立製作所 日立オートモティブシステムズ株式会社 形式手法を用いた自動車制御ソフトウェアの高信頼検査技術を開発 従来比で10倍規模の量産ソフトウェアに適用 株式会社日立製作所(執行役社長:中西 宏明／以下、日立)と日立オートモティブシステムズ株式会社(取締役会長兼CEO:大沼 邦彦／以下、日立オートモティブシステムズ)はこのたび共同で、自動車制御システムの品質を向上させるための、形式手法を用いた高信頼ソフトウェア検査技術を

[takamR1]

形式手法を用いた自動車制御ソフトウェアの高信頼検査技術を開発 / 従来比で10倍規模の量産ソフトウェアに適用