comp.lang.ada
 help / color / mirror / Atom feed
* Ada RTE/F.A.A.-certified?
@ 1992-12-31  2:01 concert!uvaarpa!murdoch!holmes.acc.Virginia.EDU!dtl8v
  0 siblings, 0 replies; only message in thread
From: concert!uvaarpa!murdoch!holmes.acc.Virginia.EDU!dtl8v @ 1992-12-31  2:01 UTC (permalink / raw)


  I recently came across a reference in the AIAA/IEEE 8th Digital
Avionics Systems Conference to an Ada RTE bassed on a U.S.
F.A.A.-certified executive in one or more commercial Ada compiler
systems.  I was hoping someone out there would be able to give me a
lead on this, as the article in the proceedings did not provide
specific detail, and there may be more than the author mentioned.

Doug Lamb
University of Virginia
dtl8v@Virginia.EDU

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~1992-12-31  2:01 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1992-12-31  2:01 Ada RTE/F.A.A.-certified? concert!uvaarpa!murdoch!holmes.acc.Virginia.EDU!dtl8v

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox