HOME>高度人材育成

組込み適塾
組込みソフトウエア開発のプロジェクトにおいて実践的知識や技術を備え、技術リーダーとして活躍できるシステムアーキテクトの育成を図ります・・・
組込み適塾を詳しく見る

CVS教程:モデル検査
産業技術総合研究所組込みシステム技術連携研究体では、企業におけるシステム開発に数理的技法を適用してきた経験をもとに、その知識と技術を伝える研修コースを開発しています。これらのコース体系を CVS 教程と呼んでいます。研修コース:モデル検査を詳しく見る
CVS教程:対話型証明
産業技術総合研究所組込みシステム技術連携研究体では、企業におけるシステム開発に数理的技法を適用してきた経験をもとに、その知識と技術を伝える研修コースを開発しています。これらのコース体系を CVS 教程と呼んでいます。 研修コース:Agdaを詳しく見る

▲ページ先頭へ