in Links

Links for January 30, 2018

The MathWorks: A series of 11 videos demonstrating MathWorks tools in a DO-178C process, starting with the requirements process and ending with the verification of the software. This video series covers DO-331 Model-Based Development and Verification, as well as DO-333 Formal Methods.

Write a Comment