Математическая модель тестируемой реализации протоколов информационного обмена

Разработка математической модели тестируемой реализации протоколов информационного обмена, основанной на не детерминированной конечной модели автоматического устройства (НДФАД) с предикатами в виде целочисленных неравенств и исследование её свойств.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.