A Model-Based Certification Framework for the EnergyBus Standard.

Alexander Graf-Brill Holger Hermanns Hubert Garavel

Published in: FORTE (2014)

Keyphrases

artificial intelligence
probabilistic model
support vector
main contribution
conceptual framework
decision making
case study
data structure
multiresolution
computational model
theoretical framework
computational framework