​モデルベース形式検証ツール

2020年11月13日及び11月20日に開催致しました「モデルベース形式検証による設計品質向上オンラインセミナー」（セミナー詳細について、下記リンクよりご確認くださいhttps://kke.lmsg.jp/v2/seminar/11672/CjUiirPB）ではQ＆Aセッシ...

以下の日程で開催される「第64回宇宙科学技術連合講演会」において弊社とJAXA様連名でDynaSpecを利用した形式検証適用事例を発表します。 本研究は、経済産業省からの委託事業 「宇宙産業技術情報基盤整備研究開発事業（民生部品等を活用した宇宙機器の軌道上等実証）」...

セミナー詳細にご興味がある方は、下記のリンクよりご確認をお願い致します。 https://kke.lmsg.jp/v2/seminar/11672/aGQ1allO システムの本質をUML/SysMLで表現する 株式会社エクスモーション エグゼクティブコンサルタント...