Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
набор
Связанные издания:
Верификация функций безопасности протокола IPSEC V2
Генерация тестовых последовательностей
Метод редукции тестового набора для интеграционного тестирования
Не познан - не Word
Об одном покрытии множества двоичных наборов и реализации конъюнкций контактными схемами
Тестирование аварийного завершения процедур