Interactive Visualization of State Transition Systems.
Frank van HamHuub van de WeteringJarke J. van WijkPublished in: IEEE Trans. Vis. Comput. Graph. (2002)
Keyphrases
- interactive visualization
- transition systems
- model checking
- concurrent systems
- interactive visual
- temporal logic
- finite state
- practical reasoning
- data mining
- information visualization
- state space
- social network analysis
- distributed systems
- query processing
- data structure
- case study
- computer vision
- social networks
- databases