Вы здесь
Харченко В. С.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Оценка верификации критического программного обеспечения: критерии, модели и реализация | 2003 | Харченко В. С., Вилкомир С. А. | Управляю ие системы и машины | 13.02.2004 | |||
СТ | Выбор моделей надежности программных средств для систем кртического применения | 2000 | Харченко В. С., Скляр В. В., Вилкомир С. А. | Управляю ие системы и машины | 26.07.2000 |