Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar Mark A. Hillebrand Steffen Knapp Rostislav Rusev Sergey Tverdyshev

Published in: VERIFY (2007)

Keyphrases

computational model
statistical model
formal model
theoretical analysis
database
high level
probabilistic model
mathematical model
experimental data
neural network
multi agent systems
probability distribution
management system
markov chain
process model
programming environment