Лекция 1. Введение в разработку надёжного ПО.pdf
1066.5 KB
10 сент. 2025 г., 12:18
Лекция 1. Введение в разработку надёжного ПО.ppt
2462.0 KB
10 сент. 2025 г., 12:18
Лекция 10. Определение необходмого уровня надёжности и построение функционального среза.pdf
4549.6 KB
10 сент. 2025 г., 12:18
Лекция 11. Подготовка к тестированию.pdf
1707.0 KB
10 сент. 2025 г., 12:18
Лекция 12. Проведение Тестирования. Анализ данных об отказах для принятия решений.pdf
1496.4 KB
10 сент. 2025 г., 12:18
Лекция 2. Моделирование программ.pdf
1098.5 KB
10 сент. 2025 г., 12:18
Лекция 2. Моделирование программ.ppt
2556.0 KB
10 сент. 2025 г., 12:18
Лекция 3. Системы переходов (LTS). Корректность и адекватность LTS модели.pdf
1530.7 KB
10 сент. 2025 г., 12:18
Лекция 4. Временные автоматы.pdf
532.7 KB
10 сент. 2025 г., 12:18
Лекция 5. Логика линейного времени (LTL).pdf
1557.5 KB
10 сент. 2025 г., 12:18
Лекция 6. Логика TCTL. Средство верификации UPPAAL.pdf
1642.5 KB
10 сент. 2025 г., 12:18
Лекция 7. Статический анализ.pdf
656.1 KB
10 сент. 2025 г., 12:18
Лекция 8. Надёжность системы (2).pdf
0.0 KB
10 сент. 2025 г., 12:18
Лекция 8. Надёжность системы.pdf
571.6 KB
10 сент. 2025 г., 12:18
Лекция 9. Модели надёжности ПО. Оптимизация надёжности ВС.pdf
996.7 KB
10 сент. 2025 г., 12:18
Надёжность ПО (All in one) (2014).pdf
15831.9 KB
10 сент. 2025 г., 12:18