Модел. и анализ информ. систем,
2010, том 17, номер 4, страницы 52–59
(Mi mais35)
|
Эта публикация цитируется в
1 статье
Проверка моделей распределенных систем с помощью аффинного представления данных
Н. О. Гаранина Институт систем информатики им. А. П. Ершова
СО РАН
Аннотация:
Предложено эффективное символьное представление распределенных систем, определяемых линейными функциями над целочисленными переменными.
Ключевые слова:
символьная проверка моделей, распределённые системы.
УДК:
517.51+
514.17 Поступила в редакцию: 17.09.2010
© , 2024
Полный текст:
PDF файл (260 kB)