Главная
Поиск публикаций
Вход для пользователей
Список цитирования публикации:
МИНИМИЗАЦИЯ ВЕРОЯТНОСТНЫХ МОДЕЛЕЙ ПРОГРАММ
Элементы 1—2 из 2.
ID
Название публикации
Год
8581
МЕТОД ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ РЕШЕНИЯ ЗАДАЧ ВЕРОЯТНОСТНОЙ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ И ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ / A METHOD OF ENHANCING PROBABILISTIC VERIFICATION EFFICIENCY FOR COMPUTER AND TELECOMMUNICATION SYSTEMS
2014
10735
РЕАЛИЗУЕМОСТЬ ВЕРОЯТНОСТНЫХ РЕАКЦИЙ КОНЕЧНЫМИ ВЕРОЯТНОСТНЫМИ АВТОМАТАМИ / REALIZABILITY OF PROBABILISTIC REACTIONS BY FINITE PROBABILISTIC AUTOMATA
2015
8581
10735