Static Validation of Modelica Models for Language Compliance and Structural Integrity.

Roland Samlaus Mareike Strach

Published in: EOOLT (2013)

Keyphrases

statistical models
probabilistic model
database
machine learning algorithms
model validation
specification language
language learning
complex systems
programming language
machine learning
database systems
statistical model
artificial intelligence
finite state machines
neural network
modelling language
data sets