SłownikiForumKontakt

Google | Forvo | +

LTL symbolic model checking algorithm

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

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