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