北海道電子機器の技術力

印刷

研究開発事例

鮭身色判定機

秋鮭の身色を、魚体を切断しないで判定するシステムの研究事例です。

形式手法

弊社は、経済産業省の平成22年度戦略的基盤技術高度化支援事業、『形式的仕様記述を用いた高信頼ソフトウェア開発プロセスの研究とツール開発』に参画しました。

PAGE TOP