A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS.

Olivier Ponsini Wendelin Serwe

Published in: FM (2008)

Keyphrases

statistical models
probabilistic model
complex systems
experimental data
computational models
prior knowledge
object oriented
logic programming
statistical model
conceptual model