Доказательство свойств системы

Аватар автора
ЦИТМ Экспонента
Первое видео по возможностям инструмента Simulink Design Verifier. Будет рассмотрен вопрос формализации требований, и их атоматизированного анализа.

0/0


0/0

0/0

0/0

0/0