Уровни формализации функции безопасности при верификации микропроцессорных систем обеспечения безопасности движения поездов
| dc.contributor.author | Харлап, С. Н. | |
| dc.contributor.author | Сивко, Б. В. | |
| dc.date.accessioned | 2021-12-13T12:01:30Z | |
| dc.date.available | 2021-12-13T12:01:30Z | |
| dc.date.issued | 2021 | |
| dc.identifier.other | УДК 656.25 | |
| dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/6321 | |
| dc.language.iso | other | ru |
| dc.publisher | БелГУТ | ru |
| dc.subject | Железнодорожный транспорт | ru |
| dc.title | Уровни формализации функции безопасности при верификации микропроцессорных систем обеспечения безопасности движения поездов | ru |
| dc.type | Article | ru |