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

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