From: "rik" <rikypi@libero.it>
Subject: Help for a student, PLEASE!
Date: 2000/06/01
Date: 2000-06-01T00:00:00+00:00 [thread overview]
Message-ID: <oJnZ4.48833$VM3.426491@news.infostrada.it> (raw)
My name is Riccardo Piovosi and I study computer science engineering in
Florence University, Italy.
I'm serching documents about use of Ada in sefety-critical systems like
ralways segnalation, nuclear plants, ecc. (not flight or space system).
I have seen several web-documents like
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/success/tgv.html (Ada in TGV
systems), but i would more tech info, like compiler version, use of
particular program methods, use of particular subsets of Ada like "Safe
Ada".
If someone can help me with specific web resurces or more general links,
please send me this by e-mail.
Thank you very much ( sorry for my bad, bad english :-) ).
Riccardo Piovosi
rikypi@libero.it
next reply other threads:[~2000-06-01 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-06-01 0:00 rik [this message]
2000-06-01 0:00 ` Help for a student, PLEASE! Jeff Carter
2000-06-02 0:00 ` Ken Garlington
2000-06-05 0:00 ` Martin Dowie
2000-06-05 0:00 ` Robert Dewar
2000-06-06 0:00 ` Ken Garlington
2000-06-06 0:00 ` r_c_chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox