достижимое множество

Terms for subject Programming containing достижимое множество | all forms

Russian	English
алгоритмы вычисления множества достижимых состояний	algorithms for computing the set of reachable states (ssn)
алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний	algorithms for computing the set of reachable states of a finite-state system (ssn)
вычисление множества достижимых состояний	computing the set of reachable states (ssn)
другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний	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)
множество достижимых состояний	set of reachable states (ssn)