|
|||||||||||||||||
|
Biography [ Show only research interests ] 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. |
|||||||||||||||||
|
|
|||||||||||||||||