Верификация моделей автоматизированного проектирования и программирования систем железнодорожной автоматики

Открыть

Проблемы безопасности 2020 Ч. 1 (22-24).pdf (358.0Kb)

Дата

2020

Автор

Каменев, А. Ю.

Лапко, А. А.

Щеблыкина, Е. В.

Каменева, Н. В.

Metadata

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

URI

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

Collections

• 2020