Login / Signup

Interactive State-Space Analysis of Concurrent Systems.

E. Timothy MorganRami R. Razouk
Published in: IEEE Trans. Software Eng. (1987)
Keyphrases
  • state space
  • concurrent systems
  • data analysis
  • dynamic programming
  • information systems
  • heuristic search
  • data sets
  • case study
  • search algorithm
  • statistical analysis
  • production system
  • user friendly