The RTCA and its new standard, DO-178C, will bring safety-critical software development into the modern era, adding support for advanced techniques such as UML and mathematical modeling, object-oriented programming and formal methods
The RTCA and its new standard, DO-178C, will bring safety-critical software development into the modern era, adding support for advanced techniques such as UML and mathematical modeling, object-oriented programming and formal methods