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

Открыть

Проблемы без - ти.2021_1-204-206.pdf (172.2Kb)

Дата

2021

Автор

Харлап, С. Н.

Сивко, Б. В.

Metadata

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

URI

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

Collections

• 2021