A system model for formal verification of TLM based transaction properties.

Alexander Pacholik Wolfgang Fengler

Published in: SpringSim (1) (2007)

Keyphrases

formal verification
high level
probabilistic model
conceptual model
database
knowledge representation
mathematical model
statistical model
neural network
artificial intelligence
probability distribution
management system
markov random field