Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach.

Eun-Young Kang Gilles Perrouin Pierre-Yves Schobbens

Published in: QSIC (2012)

Keyphrases

energy consumption
description language
human behavior
formal model
formal methods
energy minimization
behavior analysis
formal specification
data model
business processes
formal models
failure modes
behavior recognition