Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

коректність, корректность

Підтеми:

Документи:

Ostrianko, O. Methods of functional and formal verification of digital systems: Theoretical analysis and experimental application to modules of varying complexity [Текст] / O. Ostrianko // Інформаційні технології та комп'ютерна інженерія. – 2026. – Т. 23, № 2. – P. 132-144. – DOI: https://doi.org/10.31649/vitce/2.2026.132.
Ostrianko, O. Methods of functional and formal verification of digital systems: Theoretical analysis and experimental application to modules of varying complexity [Електронний ресурс] / O. Ostrianko // Інформаційні технології та комп'ютерна інженерія. – 2026. – Т. 23, № 2. – P. 132-144. – DOI: https://doi.org/10.31649/vitce/2.2026.132.
Зайцев, К. С. Анализ корректности многосвязных отчетных документов в АИУС с использованием нелинейной схемы компромиссов [Текст] / К. С. Зайцев, В. В. Плейкис // Автоматика и телемеханика. – 2004. – № 1. – 159-169.
Шкильняк, С. С. Логики квазиарных предикатов первого порядка [Текст] / С. С. Шкильняк // Кибернетика и системный анализ. – 2010. – Т. 46, № 6. – С. 32-50.