Login / Signup
A Visualization Tool for Reactive Systems Simulation.
Mubarak Sami
Olga Ormandjieva
Vangalur S. Alagar
Published in:
MSV (2005)
Keyphrases
</>
visualization tool
reactive systems
open source
graphical user interface
visual exploration
temporal logic
visualization tools
model checking
petri net
data analysis
data flow
social networks
information visualization
building blocks
control flow
knowledge acquisition
source code