Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів

Моделювання є важливим етапом під час розробки сучасних технічних систем, особливо систем критичних для безпеки, адже дозволяє надати відповіді на велику кількість питань без необхідності проводити...