1–4 von 4 Ergebnissen
|

    Coasting Technology for Real-World Fuel Economy Improvement of a Hybrid Vehicle

    Yamaguchi, Tomoya | British Library Conference Proceedings | 2020

      Coasting Technology for Real-World Fuel Economy Improvement of a Hybrid Vehicle

      Yamaguchi, Tomoya | British Library Conference Proceedings | 2020

    Validation of Control Software by Search-Based Testing Using Formal Methods

    Kobuna, Shunsuke / Yamaguchi, Tomoya / Kaga, Tomoyuki | SAE Technical Papers | 2016

    Verification of Control Software by Dynamic Test Generation Using Static Analysis

    Kobuna, Shunsuke / Kaga, Tomoyuki / Yamaguchi, Tomoya | British Library Online Contents | 2015

    ST-Lib: A Library for Specifying and Classifying Model Behaviors

    Donze, Alexandre / Ito, Hisahiro / Kapinski, James et al. | SAE Technical Papers | 2016