Mathematical criteria for testing the logical control programs for technological equipment
E3S Web of Conf., 390 (2023) 03006
DOI: https://doi.org/10.1051/e3sconf/202339003006
EDPS Account
