Вы здесь

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2000
Стр.: 
P.535-549.
Библиография: 
Bibliogr.: p.548-549
Издательство: 
Том: 
1785
Карточка: 

Б3.33, Б2.23.

Gnesi S., Latella D., Lenzini G., Abbaneo C., Amendola A., Marmo P..

A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors: Springer// Lecture Notes in Computer Science-2000.-Vol. 1785.-P.535-549.
Bibliogr.: p.548-549

Таблица в старой библиотеке: 
PAP21 278