スタイリッシュな防犯対策『セキュリティドア』カタログプレゼント！

PR内部は美しく照らされる飾り棚。外見は高級感あるミラー。誰にも気づかれな…

目指したのは未来型のセキュリティ空間。 一見ダークミラーにしか見えませんが、内部照明を照らすと美しい飾り棚に変化。 さらに電子キーに手をかざせば飾り棚がドアとして奥へ開き、 貴重品などの大切なものを守るセキュリティルームへ誘います。 視認できないスマートなドアが、防犯性を高めます。 【機能紹介】 ■鍵が不要の非接触電子キー採用の解錠システム ■室内の印象も変えられる調光照明内蔵の飾り棚 【オプ...

メーカー・取り扱い企業： 株式会社小見山家具製作所

形式検証ツール『SPARK Pro』

形式検証と静的検証が統合されたツール・スイートでプログラムエラーを最小…

ェア検証に数学ベースの信頼性をもたらすツールセットです。 当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。 実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 （形式的に定義された仕様への準拠） などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。 【機能】 ■データフロー解析 ■インフォメ...

メーカー・取り扱い企業： アイティアクセス株式会社 本社