特許権 時相論理式作成支援システム、時相論理式作成支援方法及び時相論理式作成支援用プログラム 日本電気株式会社 野田 夏子 出願番号 特願2008-328287 出願日 2008年12月24日 公開番号 特開2010-152528 公開日 2010年7月8日 特許番号/登録番号 特許第5365182号 登録日 発行日 2013年9月20日 リンク情報 J-GLOBALhttps://jglobal.jst.go.jp/detail?JGLOBAL_ID=201403032578595168 ID情報 J-Global ID : 201403032578595168