Международная конференция
по вычислительной математике
МКВМ-2004


Рабочее Совещание
"Распределенные информационно-вычислительные ресурсы
и математическое моделирование"

21-25 июня 2004 г.
Академгородок, Новосибирск, Россия

Тезисы докладов

Проверка модели для вполне упорядоченных систем переходов автоматного типа

Кузьмин Е.В., Соколов В.А.

Ярославский государственный университет (Ярославль)

В работе исследуются вопросы разрешимости задачи проверки модели для автоматной логики и вполне структурированных систем переходов автоматного типа, обладающих свойствами верхней и нижней совместимости.

Презентация доклада находится здесь.

Дополнительные материалы: PDF (402 kb)
Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии
Обратная связь
[ICT SBRAS]
[Головная страница]
[Конференции]

© 1996-2004, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2004, Сибирское отделение Российской академии наук, Новосибирск