УСиМ: Управляющие системы и машины : междунар. науч. журн. - 2012. - N 6. - С. 3-14. - Библиогр. в конце ст. - ISSN 0130-5395.
(Шифр в БД У481695/2012/6)

	УДК
	519.686.2

Ключові слова: прикладные системы верификации требований -- прикладні системи верифікації вимог -- спецификации -- специфікації -- распределенные взаимодействующие системы -- розподілені взаємодіючі системи -- телекоммуникационные системы -- телекомунікаційні системи -- встроенные системы -- вбудовані системи -- системы реального времени -- системи реального часу --
Анотація:
Представлен обзор современного состояния инсерционного моделирования - направления, которое развивается на протяжении последнего десятиления как подход к построению общей теории взаимодействия агентов и сред в сложных распределенных многоагентных системах.
Представлено огляд сучасного стану інсерційного моделювання - напрямку, який розвивається протягом останнього десятиліття як підхід до побудови загальної теорії взаємодії агентів та середовищ в складних розподілених багатоагентних системах.