A SystemC/TLM Semantics in Promelaand Its Possible Applications.

Claus Traulsen Jérôme Cornet Matthieu Moy Florence Maraninchi

Published in: SPIN (2007)

Keyphrases

logic programming
formal semantics
databases
intended meaning
transformation rules
logic programs
multiscale
machine learning
decision trees
semantic information
conceptual model
semantic relationships
conceptual graphs
knowledge base
semantic representation
update semantics
data sets