Authors: Коньков, Дмитрий Сергеевич

Source: Вестник Томского государственного университета. История. 2009. № 2. С. 44-46

Type: статьи в журналах

Date: 2009

Description: Рассматриваются методологические вопросы верификации макроисторических концепций с помощью микроисторического анализа истории случая. Предлагаются критерии возможности подобной верификации, приводится ... More

Authors: Черемисинова, Людмила Дмитриевна | Новиков, Дмитрий Яковлевич

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 4. С. 102-111

Type: статьи в журналах

Date: 2008

Description: Рассматривается задача верификации логических описаний одного и того же устройства, первое из которых поведенчески не полностью определено и задано в виде системы частично определенных булевых функций ... More