Список благодарностей
Программное обеспечение Simulink® Design Verifier™ использует продукты Prover Plug-In® от Prover® Technology, чтобы сгенерировать тесты и доказать свойства модели.
Программное обеспечение Simulink® Design Verifier™ использует продукты Prover Plug-In® от Prover® Technology, чтобы сгенерировать тесты и доказать свойства модели.