Список благодарностей

Simulink® Разработайте Verifier™ программное обеспечение использует Prever Plug-In® продукты от Prover® Технология для генерации тестов и доказательства свойств модели.

Для просмотра документации необходимо авторизоваться на сайте