Зведений каталог бібліотек Харкова
Потенко, С. В. Представление SDL- спецификаций в виде базовых протоколов [Текст] / Институт кибернетики имени В.М.Глушкова НАН Украины. г.Киев, Украина // Искусственный интеллект. — 2006. — №4. — С. 42-52.
- Анотація:
В статье предложен метод верификации SDL- систем, в основу которого положена предварительная нормализация и трансляция исходной модели в формализм базовых протоколов.
- Є складовою частиною документа:
Искусственный интеллект [Текст]. — 2006. — №4.
- Теми документа
