モデル検査器を用いた自動検針システムの仕様検証
スポンサーリンク
概要
- 論文の詳細を見る
- 2003-11-15
著者
-
早水 公二
独立行政法人産業技術総合研究所情報科学連携研究体
-
篠崎 孝一
関西電力株式会社
-
高橋 孝一
独立行政法人産業技術総合研究所情報科学連携研究体
-
渡邊 宏
独立行政法人産業技術総合研究所情報科学連携研究体
-
篠崎 孝一
関西電力株式会社 電力技術研究所
-
早水 公二
メルコ・パワー・システムズ株式会社
-
高橋 孝一
独立行政法人 産業技術総合研究所 システム検証研究センター
関連論文
- モデル検査の開発現場への導入
- モデル検査器を用いた自動検針システムの仕様検証
- 自治体EAへの形式手法適用の試み
- 自治体EAへの形式手法適用の試み
- 配電線転流ノッチ振動発生源の探査手法の開発
- 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
- 操作的意味の間の変換