Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
сюита
Связанные издания:
An Evaluation of High Performance Fortran Compilers Using the HPFBench Benchmark Suite
INAP Protocol Test Suite Verification Method Using the IUT Simulator for AIN System Conformance Testing
KVEST: Automated Generation of Test Suites from Formal Specification
On the Minimal Essential Subsets and Minimal Representative Sets