Доказательство корректности программного обеспечения систем железнодорожной автоматики и телемеханики
dc.contributor.author | Сивко, Б. В. | |
dc.date.accessioned | 2021-09-22T11:24:58Z | |
dc.date.available | 2021-09-22T11:24:58Z | |
dc.date.issued | 2013 | |
dc.identifier.other | УДК 004.312.466 | |
dc.identifier.uri | http://elib.bsut.by:8080/xmlui/handle/123456789/5725 | |
dc.language.iso | other | ru |
dc.publisher | БелГУТ | ru |
dc.subject | Железнодорожная автоматика и телемеханика | ru |
dc.subject | Программное обеспечение | ru |
dc.title | Доказательство корректности программного обеспечения систем железнодорожной автоматики и телемеханики | ru |
dc.type | Article | ru |