СловникиФорумКонтакти

Google | Forvo | +
до фраз

algorithms for CTL model checking, LTL model checking

наголоси
прогр. алгоритмы верификации моделей для формул CTL и для формул LTL (ssn)
algorithms for CTL model checking, LTL model checking
: 2 фрази в 1 тематиці
Програмування2

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