DictionaryForumContacts

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