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

View/Open

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

Date

2021

Author

Харлап, С. Н.

Сивко, Б. В.

Metadata

Show full item record

URI

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

Collections

• 2021