Пропонуються нові підходи подання та верифікації гнучких комп'ютеризованих систем (ГКС). Відзнака підходів від попередніх робіт по моделюванню та управлінню в ГКС полягає у тому, що останні розглядаються, по-перше, як об'єкти з багатомірною просторовою ієрархією станів, а по-друге, такими, в яких для запобігання безвихідних ситуацій використовують інформацію про необхідні ресурси для кожної з окремих операцій виробничого процесу і/або про циклічності протікання матеріальних і інформаційних потоків.

• Кузьмін Петро Васильович (політичні науки)
• Лавров Олександр Анатолійович (технічні науки)
• Остапченко Костянтин Борисович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"