Требуемые страницы

Ниже показаны до 11 результатов, начиная с №141.

Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)

141. О применении антиунификации подстановок для проверки эквивалентности программ‏‎ (1 ссылка)
142. On the decidability of the equivalence problem for orthogonal sequential programs‏‎ (1 ссылка)
143. Об одном подходе к верификации симметрических параметризованных распределенных систем‏‎ (1 ссылка)
144. Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами‏‎ (1 ссылка)
145. Математические проблемы обфускации‏‎ (1 ссылка)
146. О проверке k-значности конечных автоматов-преобразователей над полугруппами‏‎ (1 ссылка)
147. The equivalence problem for computational models: Decidable and Undecidable Cases‏‎ (1 ссылка)
148. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени‏‎ (1 ссылка)
149. О восстановлении сети процесса по последовательности срабатываний переходов сети Петри‏‎ (1 ссылка)
150. Consistent network update without tagging‏‎ (1 ссылка)
151. Об одной задаче верификации параметризованных конечных систем переходов‏‎ (1 ссылка)

Просмотреть (предыдущие 50 | следующие 50) (20 | 50 | 100 | 250 | 500)