スポンサーリンク

独立行政法人産業技術総合研究所情報科学連携研究体 | 論文

• モデル検査器を用いた自動検針システムの仕様検証
• 自治体EAへの形式手法適用の試み
• 自治体EAへの形式手法適用の試み
• 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
• 操作的意味の間の変換

スポンサーリンク