西澤 弘毅 | 産業技術総合研究所システム検証研究センター
スポンサーリンク
概要
産業技術総合研究所システム検証研究センター | 論文
- 組み込みソフトウェア開発におけるモデル検査の適用事例(システム検証の科学技術)
- ソフトウェアの安全性をめぐる課題について(人に触れる機械の課題)
- 画面遷移仕様のモデル検査(サイバー増大ページ論文概要,サイバー増大号)
- PVSを用いた遷移系簡約化の検証(サイバー増大ページ論文概要,サイバー増大号)
- 対話型照明支援ツールPVSの紹介(続・システム検証の科学技術,サイバー増大号)