Login / Signup
A Visualization Tool for Reactive Systems Simulation.
Mubarak Sami
Olga Ormandjieva
Vangalur S. Alagar
Published in:
Automation, Control, and Information Technology (2005)
Keyphrases
</>
visualization tool
reactive systems
visual exploration
open source
graphical user interface
visualization tools
temporal logic
information flow
information visualization
model checking
data analysis
data mining
information systems
case study
training data
metamodel