4 ms·
That is because the formal method supplement of the DO-178C is RTCA DO-333. There you have about a hundred pages concerned with the application of formal method
by sfrank 8y ago
That is because the formal method supplement of the DO-178C is RTCA DO-333. There you have about a hundred pages concerned with the application of formal methods.
- ejcx 8y agoGood to know. I will buy this doc and give it a read, thanks.