Главная
Поиск публикаций
Вход для пользователей
Список цитирования публикации:
SOME PROBABILISTIC AND FORMAL TECHNIQUES FOR FAULT TOLERANT DESIGN
Элементы 1—1 из 1.
ID
Название публикации
Год
4382
УНИФИЦИРОВАННАЯ ВЫСОКОУРОВНЕВАЯ МОДЕЛЬ ПРОГРАММНО-АППАРАТНОЙ СИСТЕМЫ ДЛЯ ВЕРИФИКАЦИИ СВОЙСТВ НАДЕЖНОСТИ ФУНКЦИОНИРОВАНИЯ
2013
4382