News
Cognata製品をウェビナーにて講演
Vdoo製品をウェビナーにて講演いたしました
JTEKT Webinarを見逃した方へ 形式検証手法を用いてソフトウェアの安全性、信頼性を向上、JTEKT社の電動パワステへの形式検証SPARK Pro応用事例のご紹介
IoT向けデバイスセキュリティ対策プラットフォーム提供の「Vdoo」と協業開始。
アイティアクセス取扱のメーカーAdaCoreより、プレスを発表しました
形式検証手法を用いてソフトウェアの安全性、信頼性を向上、JTEKT社の電動パワステへの形式検証SPARK Pro応用事例のご紹介
「人とくるまのテクノロジー展2021 ONLINE」出展のご案内
年末年始休業のお知らせ
当社社員の新型コロナウイルス感染者の発生について（ 2020年11月8日更新 ）
AdaCore社（代理店：アイティアクセス株式会社）は 11月5日（木）～6日(金)オンラインで開催される「RISC-V Day Tokyo」に出展します。
