株式会社ネクスティ エレクトロニクス（本店：東京都港区、代表取締役社長：山田 強、以下、当社）は、2025年9月11日に開催される「Model-Based Engineering Summit 2025（以下、MBE Summit 2025）」に出展・講演・協賛し、最新のモデルベース開発※技術を紹介します。

AdaCore（エイダコア、本社米国ニューヨーク州）は、本日、株式会社IHI（以下IHI）が、自動運転トラックシステムの開発で、高度な安全性と信頼性を確保し、かつ費用対効果の高い手法として、QGenツールスイートに含まれるQGen Model VerifierとAdaCoreの専門家に ...