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

dc.contributor.author	Бочков, К. А.
dc.contributor.author	Харлап, С. Н.
dc.contributor.author	Сивко, Б. В.
dc.date.accessioned	2020-03-16T08:14:23Z
dc.date.available	2020-03-16T08:14:23Z
dc.date.issued	2019
dc.identifier.other	УДК 004.021
dc.identifier.uri	http://elib.bsut.by:8080/xmlui/handle/123456789/2313
dc.language.iso	other	ru
dc.publisher	БелГУТ	ru
dc.subject	Безопасность движения поездов	ru
dc.subject	Верификация	ru
dc.subject	Программное обеспечение	ru
dc.title	Автоматизация методов верификации программного обеспечения микропроцессорных систем обеспечения безопасности движения	ru
dc.type	Article	ru