Energy balance based Verification for Model Based Development.

Kenji Sawada Mamoru Sakura Osamu Kaneko Seiichi Shin Isao Matsuda Toru Murakami

Published in: Modelica (2019)

Keyphrases

software engineering
model checking
case study
rapid development
decision support
knowledge based systems
development process
information processing
formal verification
formal methods
face verification
energy minimization
design process
data sets
multimedia
genetic algorithm
machine learning
real world