Yamane Satoshi | Kanazawa University

スポンサーリンク

概要

• 同名の論文著者
• Kanazawa Universityの論文著者

関連著者

• Yamane Satoshi

  Kanazawa University

• Nakamura Kazuhiro

  Nagoya University

著作論文

• Development and Evaluation of Symbolic Model-Checker Based on Approximation for Real-Time Systems
• Special section on concurrent/real-time and hybrid systems: Theory and applications

スポンサーリンク