Язык оригиналарусский
Название основной публикацииСовременные проблемы информатизации в экономике и обеспечении безопасности
ИздательИздательство Тамары Рожковской
Страницы63-70
ISBN (печатное издание)978-5-98222-712-6
СостояниеОпубликовано - 2011
Опубликовано для внешнего пользованияДа

    Области исследований

  • бинарные диаграммы решений, вероятностная верификация

ID: 4452941