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

dc.contributor.author	Харлап, С. Н.
dc.contributor.author	Сивко, Б. В.
dc.date.accessioned	2021-12-13T12:01:30Z
dc.date.available	2021-12-13T12:01:30Z
dc.date.issued	2021
dc.identifier.other	УДК 656.25
dc.identifier.uri	http://elib.bsut.by:8080/xmlui/handle/123456789/6321
dc.language.iso	other	ru
dc.publisher	БелГУТ	ru
dc.subject	Железнодорожный транспорт	ru
dc.title	Уровни формализации функции безопасности при верификации микропроцессорных систем обеспечения безопасности движения поездов	ru
dc.type	Article	ru