NATICK, Mass.--(BUSINESS WIRE)--MathWorks today introduced Simulink Code Inspector, which facilitates the review of source code generated from Simulink models. Aerospace engineers can now use Simulink ...
Mark Walker discusses the evolution of the DO-178 standard alongside the emergence of model-based design and formal methods tools. A modern commercial aircraft relies on many millions of lines of ...
NATICK, Mass. and WILSONVILLE, Ore.--March 23, 2010--The MathWorks and Mentor Graphics (NASDAQ: MENT) today announced a joint collaboration to provide guidance on an integrated workflow for DO-254 ...
当前正在显示可能无法访问的结果。
隐藏无法访问的结果