From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!SIAM.ICS.UCI.EDU!cha
From: cha@SIAM.ICS.UCI.EDU ("Stephen S. Cha")
Newsgroups: comp.lang.ada
Subject: Ada and safety-critical systems
Message-ID: <8908051202.aa19528@PARIS.ICS.UCI.EDU>
Date: 5 Aug 89 19:02:49 GMT
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The Internet
List-Id: <comp.lang.ada>

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