A high-integrity, safety-critical systems programming language.
Honeywell Aerospace
Bengaluru, India
Leonardo
Luton, England, UK
RTX
Fort Wayne, IN, USA