株式会社イミロンに関するプレスリリース・ニュースリリース

プレスリリース・ニュースリリース配信サービスのPR TIMES

検索結果：5件

表示切り替え

自動運転の安全性を“証明”する：T2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始

2025年8月5日 11時30分

自動運転の安全性を“証明”するT2とイミロンが形式手法の活用による安全論証で共同プロジェクト開始

2025年8月5日 11時00分

イミロン、複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリース

2025年6月13日 13時53分

第12回　NII湘南会議記念講演会「自動運転車の安全性とは？」を開催します！

2025年1月29日 14時00分

論理学で人間中心の安心・安全な情報化社会の実現を目指すイミロン、シードラウンドで6千万円の資金調達を…

2024年12月23日 12時06分