Login / Signup
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