Електронний каталог науково-технічної бібліотеки Вінницького національного технічного університету
верификация модели
Документи:
- Построение алгоритмов верификации функциональных моделей декодеров [Текст] / А. В. Башкиров, А. В. Муратов, Ю. С. Науменко, А. В. Ситников // Радиотехника. XXI век. – 2014. – № 3. – С. 72-76.
- Герман, В. Н. Решение линейных ограничений над полем вещественных и рациональных чисел [Текст] / В. Н. Герман // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 123-133.
- Колчин, А. В. Автоматический метод динамического построения абстракций состояний формальной модели [Текст] / А. В. Колчин // Кибернетика и системный анализ. – 2010. – Т. 46, № 4. – С. 70-90.
- Литвинов, В. В. Инструментальные средства создания моделей в условиях неполноты данных [Текст] / В. В. Литвинов, А. А. Задорожний // Математичні машини і системи. – 2014. – № 4. – С. 60-71.
- Мосунова, Н. А. Верификация моделей теплопередачи программного модуля HEFEST [Текст] / Н. А. Мосунова, С. А. Сапегин, А. С. Филиппов // Известия РАН. Энергетика. – 2010. – № 3. – C. 64-82.
- Моделирование течения и теплообмена в гладких трубах при сверхкритических давлениях [Текст] / Н. М. Фиалко, И. Л. Пиоро, Н. В. Майсон, Н. О. Меранова // Промышленная теплотехника. – 2016. – Т. 38, № 3. – С. 10-19.
|