Terms for subject Technology containing моделирование состояний

Russian	English
программная система моделирования логики с бесконечным числом состояний	infinite state logic simulator