Browsing 2013 by Author "Сивко, Б. В."
Now showing items 1-3 of 3
-
Верификация циклических систем железнодорожной автоматики и телемеханики
Харлап, С. Н.; Сивко, Б. В. (БелГУТ, 2013) -
Доказательство корректности программного обеспечения систем железнодорожной автоматики и телемеханики
Сивко, Б. В. (БелГУТ, 2013)