An Efficient State Space Generation for the Analysis of Real-Time Systems.

Inhye Kang Insup Lee Young-Si Kim

Published in: IEEE Trans. Software Eng. (2000)

Keyphrases

real time systems
state space
dynamical systems
real time
artificial intelligence
database systems
multi agent
computer science