View of Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems

Return to Issue Details Тechnology of semantic-numerical verification of time-parameterized parallel programs for information and control systems Download Download PDF