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

View/Open

Проблемы безопасности на транспорте. Часть 1 222-223.pdf (100.2Kb)

Date

2019

Author

Бочков, К. А.

Харлап, С. Н.

Сивко, Б. В.

Metadata

Show full item record

URI

http://elib.bsut.by:8080/xmlui/handle/123456789/2313

Collections

• 2019