Login / Signup
Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup.
Wan Bok Lee
Tag Gon Kim
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2003)
Keyphrases
</>
formal model
simulation model
orders of magnitude
mathematical model
simulation models
formal models
simulation environment
predicate calculus
security patterns
data sets
case study