Mathematical criteria for testing the logical control programs for technological equipment
E3S Web of Conf., 390 (2023) 03006
Published online: 01 June 2023
DOI: 10.1051/e3sconf/202339003006