Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики

dc.contributor.author	Сивко, Б. В.
dc.date.accessioned	2021-09-27T07:09:53Z
dc.date.available	2021-09-27T07:09:53Z
dc.date.issued	2012
dc.identifier.other	УДК 004.312.466
dc.identifier.uri	http://elib.bsut.by:8080/xmlui/handle/123456789/5779
dc.language.iso	other	ru
dc.publisher	БелГУТ	ru
dc.subject	Железнодорожная автоматика и телемеханика	ru
dc.title	Доказательство корректности программного обеспечения многопроцессорных устройств связи с объектами железнодорожной автоматики и телемеханики	ru
dc.type	Article	ru