Главная       Библиотека      Перечень ссылок      Диссертация       Отчет о поиске

Перечень ссылок

Поляков Андрей Николаевич

по теме "Исследование параллельных методов символического моделирования и верификации"


  • www.it-c.dk/research/buddy/ BuDDy - A Binary Decision Diagram Package - Сайт содержащий модули и пакеты для разработки приложений с использованием BDD

  • http://ce.sharif.edu/~dic-ads/implement.php Собрание алгоритмов и структур данных для разработки приложений с использованием BDD

  • Robert Meolic's publications Сайт разработчика ПО реализовующего работу с BDD

  • Barrett R. Bryant Сайт профессора, одного из основополжников теории работы с BDD
    Главная       Библиотека      Перечень ссылок      Диссертация