Результаты поиска

Создать страницу «On the Network Update Problem for Software Defined Networks» в этом вики-проекте!

• Участник:ZakharovVA
  2016 [[On the minimization and equivalence checking of sequential reactive systems]] …invariant-based approach to the verification of asynchronous parameterized networks]]
  82 КБ (2198 слова) - 20:23, 10 марта 2022
• Теоретические проблемы программирования
  | "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. | "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield)
  76 КБ (2657 слова) - 23:01, 13 апреля 2022