Show simple item record

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

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


Files in this item

Thumbnail
Name:
Проблемы безопасности на транс ...
Size:
100.2Kb
Format:
PDF
View/Open

This item appears in the following Collection(s)

Show simple item record