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