Козловський, В. В.; Туровський, О. Л.; Кулінський, В. Д. Formalization of Requirements for the Telecommunications Network Management System. PIC 2020, 2, 41-47.