Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms containing формальная семантика временных автоматов | all forms | exact matches only | in specified order only
SubjectRussianEnglish
progr.формальная семантика временных автоматовformal semantics for timed automata (ssn)
progr.формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состоянийformal semantics for timed automata in terms of infinite state transition graphs (ssn)

Get short URL