[comp.lang.ada] Ada and safety-critical systems

cha@SIAM.ICS.UCI.EDU ("Stephen S. Cha") (08/06/89)

I am interested in learning about the development of the (unclassified)
safety-critical systems using Ada. Can anyone provide me with pointers?

Thank you,

Steve Cha (cha@ics.uci.edu),
ICS Dept, UC Irvine