Казимир, В. В.; Посадська, А. С.
(Чернігів: ЧНТУ, 2015)
Досліджено проблеми роботи систем мережевого планування в режимі реального часу. Розглянуто використання математичного апарату темпоральних логік для визначення формальних властивостей процесів мережевого планування в ...