Автоматика и телемеханика, 2021, № 3, стр. 112-122

Формальный метод определения состояния процессоров многопроцессорной системы при ее тестировании

Романкевич А.М., Морозов К.В., Романкевич В.А.

Полный текст (PDF) / Полный текст (HTML)