大崎 人士 | (独)産業技術総合研究所システム検証研究センター
スポンサーリンク
概要
関連著者
-
高井 利憲
産業技術総合研究所
-
大崎 人士
(独)産業技術総合研究所システム検証研究センター
-
木下 佳樹
産業技術総合研究所
-
木下 佳樹
(独)産業技術総合研究所 組込みシステム技術連携研究体
-
高井 利憲
(独)産業技術総合研究所システム検証研究センター
-
大崎 人士
産業技術総合研究所
-
木下 佳樹
独立行政法人産業技術総合研究所情報処理研究部門情報科学連携研究体
著作論文
- 2. フォーマルメソッドのフィールドワーク(Part II:産業界への応用,フォーマルメソッドの新潮流)
- Equational Tree Automata : Towards Automated Verification of Network Protocols (Algebra, Logic and Geometry in Informatics)