Вы здесь

Главная

автоматный

Связанные издания:

Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Автоматные методы описания и исследования вероятностных систем
Графическая нотация наследования автоматных классов
Инструментальное средство для поддержки автоматного программирования
Использование автоматного подхода для построения компилятора переднего плана
Моделирование распределенных недерминированных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Моделирование распределенных недетерминированных программных систем и их тестирование на основе автоматных мультиагентных вероятностных моделей
Моделирование, спецификация и верификация "автоматных" программ
Подсчет длин слов в строке на основе автоматного подхода
Преобразование интерактивных алгоритмов в автоматные
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ
Технология автоматного программрования
Язык и технология автоматного программирования
Язык и технология автоматного программирования