6月25日(金) | MBSEに於ける形式検証実践オンラインセミナー

MBSEに於ける形式検証実践オンラインセミナー

 本セミナーでは、モデルベースシステムズエンジニアリング(Model-Based Systems)の実践において、システムの分析、設計、検証を正しく、効率よく実施して設計品質を向上させるための手法として、SysML(Systems Modeling Language)でモデルを構築し、形式検証(モデル検査)を適用することで厳密な振舞い検証を実現するプロセスを紹介します。  併せて、上記プロセスを実践するためのツール環境をデモを交えて紹介し、不具合のないシステム開発を実現する方法を紹介します。 【詳細・お申込み】https://kke.lmsg.jp/v2/seminar/11672/jPmf9
お申し込みの受付は終了しました。

日時・場所

6月25日 15:00 – 16:10
MBSEに於ける形式検証実践オンラインセミナー

このイベントをシェア