SłownikiForumKontakt

Google | Forvo | +

CTL symbolic model checking algorithm

akcenty
progr. алгоритм символьной верификации моделей для CTL (Computation Tree Logic ssn)

Dodaj | Zgłoś błąd | Krótki link