Efficient Simulation of Formal Processor Models.

Matthew Wilding David A. Greve David S. Hardin

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

simulation models
probabilistic model
simulation model
computationally efficient
complex systems
cost effective
statistical models
computational models
prior knowledge
wireless sensor networks
mathematical model
statistical model
monte carlo simulation
formal models