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

Открыть

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

Дата

2019

Автор

Бочков, К. А.

Харлап, С. Н.

Сивко, Б. В.

Metadata

Показать полную информацию

URI

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

Collections

• 2019