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

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