Terms containing вычисление множества достижимых состояний

Subject	Russian	English
progr.	алгоритмы вычисления множества достижимых состояний	algorithms for computing the set of reachable states (ssn)
progr.	алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний	algorithms for computing the set of reachable states of a finite-state system (ssn)
progr.	вычисление множества достижимых состояний	computing the set of reachable states (ssn)
progr.	другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний	Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)