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

логіка апаратна

Документи:

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.