Marella: A Tool for Simulation and Verification.

Dominique Ambroise Brigitte Rozoy

Published in: CAV (1996)

Keyphrases

simulation model
simulation models
simulation tool
mathematical model
website
data structure
model checking
user friendly
discrete event simulation
experimental platform
artificial intelligence
colored petri nets
verification method
simulation study
conceptual model
image processing
computer vision