Повернутися до подробиць випуску
Використання методів формального синтезу та веріфікації паралельних часопараметризованих моделей для рішення системи лінійних рівнянь методом Гауса
Завантажити
Завантажити PDF