On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories

Nowadays, the methods of program-targeted management for the development of various socio-economic systems of complex structure, such as agricultural areas, have become universal. Therefore, the current tasks at hand are the verification of already created development programs and the development of...

Full description

Bibliographic Details

Published in:	Моделирование и анализ информационных систем
Main Authors:	Jorge Vega Vice, Valery Mikhailov
Format:	Article
Language:	English
Published:	Yaroslavl State University 2018-10-01
Subjects:	development programs verification of development programs development of proper development programs hoare’s logic pddl language intelligent planners model of agricultural territories
Online Access:	https://www.mais-journal.ru/jour/article/view/744