On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs.

Ivan Jeukens Marius Strum

Published in: SBCCI (2000)

Keyphrases

probabilistic model
artificial intelligence
statistical models
formal specification
case study
experimental data
reactive systems
database
high level
multi agent
prior knowledge
markov random field
statistical model
mathematical models