From: "Neil Davidson" <neil.davidson@gecm.com>
Subject: Safety Critical Software
Date: 2000/05/12
Date: 2000-05-12T00:00:00+00:00 [thread overview]
Message-ID: <391bb405$1@pull.gecm.com> (raw)
Can anyone give me a reference to where I can find a copy of the Ravenscar
profile for Ada95 for safety critical systems ?
Thanks
Neil Davidson
next reply other threads:[~2000-05-12 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-05-12 0:00 Neil Davidson [this message]
2000-05-12 0:00 ` Safety Critical Software Pat Rogers
2000-05-12 0:00 ` r_c_chapman
2000-05-12 0:00 ` Pat Rogers
2000-05-12 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