Basic info
Industry
aviation and aerospace component manufacturing
Sectors
C++
C
SCADE
Apps
Formal Methods - 'Z' Specification
Model Based Development and Verification
Design
DO-178B
Safety-Critical
Hardware
Software
RTRT - TDP
Embedded
Matlab/Simulink
Information Technology
Development and/or Verification
Ada
Date founded
2009