Towards a UTP Semantics for Modelica.

Simon Foster Bernhard Thiele Ana Cavalcanti Jim Woodcock

Published in: UTP (2016)

Keyphrases

formal semantics
neural network
data structure
specification language
model theoretic
data sets
artificial intelligence
expert systems
evolutionary algorithm
domain knowledge
logic programming
intended meaning