HOME>研究活動報告>研究閲覧>特許

特許

知的財産権公開システム(IDEA)

公開番号/登録番号 公開日 発明の名称
US Patent No. US7503060B2
(WO/2004/010639)

特許第4406726号
2009.03.10


2009.11.20
Reactive System Safety Verification Device, Method, Program and Recording Medium Containing the Program

.リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記録媒体
特開2009-294954 2009.12.17 検証システム
特開2009-053863 2009.3.12 検証システム
特開2009-009384 2009.1.15 検証システム
特開2007-88556 2007.4.5 中継装置および中継装置を含む通信システム
特開2007-011605 2007.1.18 ソフトウェア動作仕様のモデル検査支援装置およびこれを備えたモデル検査システム並びにモデル検査支援プログラム

▲ページ先頭へ