Вы здесь

Главная

Testing Software and Systems: Proc./32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
легализация
верификация архитектуры
компьютерная безопасность
криптография
безопасность данных
встроенная система
сетевой протокол
сетевая безопасность
model checking
Стр.: 
317 p.
Редактор: 
Casola V.
De Benedictis A.
Rak M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12543
Карточка: 

Testing Software and Systems: Proc./32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 2020Ed. by Casola V., De Benedictis A., Rak M..-Berlin.: Springer, 2020.-Vol. 12543.-317 p.-(Lecture Notes in Computer Science).