Report copyright - Anforderungen an einen Model-Checker für Matlab/Simulink Sicherheitskritische Systeme werden zunehmend modellbasiert entworfen. Eine Plattform für modellbasierten Entwurf ist Simulink
Please pass captcha verification before submit form