| |
Чеботарев, А. Н.
Согласование спецификаций автоматов, представленных в языке L [Текст] / А. Н. Чеботарев
// Кибернетика и системный анализ. – 2016. – Т. 52, № 3. – С. 3-15.
Рассмотрены два метода согласования спецификаций взаимодействующих автоматов. Спецификации представлены множествами дизъюнктов в языке L. |
