Шукати за:
Роком видання
Автором
Назвою статті
Доказове проектування алгоритмів функціонуванняя реактивних систем
Повний текст (PDF)
УДК: 519.713.1
Мова публікації: Російська
Stuc. intelekt. 2008; 13; (3):771-780
Анотація: Описується підхід до доказового проектування реактивних алгоритмів, що розвивається в Інституті кібернетики ім. В.М. Глушкова НАН України. Розглядаються основні проблеми, які виникають при проектуванні реактивних алгоритмів, що специфіковані логічною мовою L, та методи їх розв’язання.
Ключові слова:
Посилання:
Переглянути повний текст статті (PDF)