Дьяченко Е. Н. «Аналитическая верификация моделей седиментации, основанных на методе дискретных элементов» // Вестник Томского государственного университета. Математика и механика 2013. №2(22) C.17-21
Оглезнев В. В. ««Открытая текстура» языка, смутность и принцип контекстности» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №44 C.25-32
Коньков Д. С. «Микроанализ как метод верификации макроисторическойконцепции: возможности применения» // История. Вестник ТГУ. 2009. №2 (6) C.44-46
Бурдонов И. Б. , Косачев А. С. «Исследование графа взаимодействующими автоматами» // Вестник ТГУ. УВТиИ 2014. №3(28) C.67-75
Кулясов Н. В. , Исаева О. С. , Исаев С. В. «Метод структурно-графического анализа и верификации интеллектуальной имитационной модели» // Вестник ТГУ. УВТиИ 2020. №50 C.79-88
Девянин П. Н. , Леонова М. А. «Сравнение способов моделирования механиз мов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB» // Прикладная дискретная математика. Приложение 2022. №15 C.90-99
Черемисинова Л. Д. , Новиков Д. Я. «Проверка схемной реализации частичных булевых функций » // Вестник ТГУ. УВТиИ. 2008. №4 (5) C.102-111
Девянин П. Н. , Леонова М. А. «О приемах по доработке согласованного описания МРОСЛ ДП-модели для ОС и СУБД с целью его верификации инструментами Rodin и ProB» // Прикладная дискретная математика. Приложение 2021. №14 C.126-132
Вы можете добавить статью