Mamoru Sakura, Kenji Sawada, Seiichi Shin, Osamu Kaneko, Isao Matsuda. The Energy-Based Auto-Verification Focused on Hierarchical Model Structure for Model Based Development. In IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society, Lisbon, Portugal, October 14-17, 2019. pages 3829-3836, IEEE, 2019. [doi]
Abstract is missing.