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