Вхід | Ukrainian | Угода користувача
СловникиФорумКонтакти

   Російська ⇄ Англійська
Google | Forvo | +
алгоритм символьной верификации моделей для LTLнаголоси
прогр. LTL symbolic model checking algorithm (Linear Temporal Logic ssn)
алгоритм символьной верификации моделей для CTL
прогр. CTL symbolic model checking algorithm (Computation Tree Logic ssn)

Додати | Повідомити про помилку | Коротке посилання | Способи вибору мов