From: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: Help for a student, PLEASE!
Date: 2000/06/02
Date: 2000-06-02T00:00:00+00:00 [thread overview]
Message-ID: <bGEZ4.2783$xM5.111941@news.flash.net> (raw)
In-Reply-To: 3936E2DF.5165E2E8@acm.org
Some additional links that may be useful:
http://www.praxis-cs.co.uk/products/sparkhome.html
http://www.aonix.com/content/downloads/objectada/scback9-29.pdf
http://www.iplbath.com/p14.htm
http://www.ddci.com/programs/programs.html
http://books.nap.edu/books/0309055970/html/
Much of the F-22 safety-critical software uses the Tartan/TI toolset for the
MIL-STD-1750A: http://www.ddci.com/products/ti1750a.html
next prev parent reply other threads:[~2000-06-02 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-06-01 0:00 Help for a student, PLEASE! rik
2000-06-01 0:00 ` Jeff Carter
2000-06-02 0:00 ` Ken Garlington [this message]
2000-06-05 0:00 ` Robert Dewar
2000-06-06 0:00 ` Ken Garlington
2000-06-06 0:00 ` r_c_chapman
2000-06-05 0:00 ` Martin Dowie
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox