Have worked at Saab AB for almost ten years with software development in safety-critical avionics systems to be certified.
Formal methods for requirements writing, hierarchies and interfaces from system to code, for validation and verification.
We are using cookies to give you the best experience on our site. Cookies are files stored in your browser and are used by most websites to help personalise your web experience.
By continuing to use our website without changing the settings, you are agreeing to our use of cookies.
