Isao Matsuda

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Hierarchical Models

Rapid Development

Knowledge Based Systems

Top Venues

Publications

Mamoru Sakura, Kenji Sawada, Seiichi Shin, Osamu Kaneko, Isao Matsuda
The Energy-Based Auto-Verification Focused on Hierarchical Model Structure for Model Based Development. IECON (2019)
Kenji Sawada, Mamoru Sakura, Osamu Kaneko, Seiichi Shin, Isao Matsuda, Toru Murakami
Energy balance based Verification for Model Based Development. Modelica (2019)