home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / ada / 3844 < prev    next >
Encoding:
Text File  |  1992-12-30  |  862 b   |  23 lines
  1. Newsgroups: comp.lang.ada
  2. Path: sparky!uunet!gatech!concert!uvaarpa!murdoch!holmes.acc.Virginia.EDU!dtl8v
  3. From: dtl8v@holmes.acc.Virginia.EDU (Heracleitus)
  4. Subject: Ada RTE/F.A.A.-certified?
  5. Message-ID: <1992Dec31.020120.20770@murdoch.acc.Virginia.EDU>
  6. Originator: dtl8v@holmes.acc.Virginia.EDU
  7. Sender: usenet@murdoch.acc.Virginia.EDU
  8. Organization: University of Virginia
  9. Date: Thu, 31 Dec 1992 02:01:20 GMT
  10. Lines: 11
  11.  
  12.  
  13.   I recently came across a reference in the AIAA/IEEE 8th Digital
  14. Avionics Systems Conference to an Ada RTE bassed on a U.S.
  15. F.A.A.-certified executive in one or more commercial Ada compiler
  16. systems.  I was hoping someone out there would be able to give me a
  17. lead on this, as the article in the proceedings did not provide
  18. specific detail, and there may be more than the author mentioned.
  19.  
  20. Doug Lamb
  21. University of Virginia
  22. dtl8v@Virginia.EDU
  23.