Вы здесь
Roudakov V. V.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Analysis of a Distributed Election Algorithm Using COVERS 3.0 - A Case Study | 1997 | Borshchev A. V., Karpov Yu. G., Roudakov V. V., Filippov A., Sintotskij A., Fedorenko S. | Lecture Notes in Computer Science | 17.09.1997 | |||
| СТ | COVERS - A Tool for the Drsign of Real-Time Concurrent Systems | 1995 | Borshchev A. V., Karpov Yu. G., Roudakov V. V. | Lecture Notes in Computer Science | Parallel Computing Technologies | 18.10.1995 |