From: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Subject: Re: Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies
Date: Wed, 17 Dec 2014 07:10:05 +0000 (UTC)
Date: 2014-12-17T07:10:05+00:00 [thread overview]
Message-ID: <m6ra8d$pi2$1@dont-email.me> (raw)
In-Reply-To: 87oar3wchq.fsf@adaheads.sparre-andersen.dk
In article <87oar3wchq.fsf@adaheads.sparre-andersen.dk>,
Jacob Sparre Andersen <jacob@jacob-sparre.dk> wrote:
>Rego wrote:
>> Ada Europe 2013 had the presentation "Using Dynamic Memory in
>> Safety-Critical applications Reliable Software Technologies", do
>> someone have (and could send) the paper? I found the presentation in
[...]
>> but it would be very nice to have the full paper.
>
>It was a panel contribution, so there is probably not an associated paper.
A report on this panel discussion was published in the Ada User
Journal, AUJ issue 34-3, September 2013.
All members of Ada-Europe receive issues of the AUJ (4 per year).
For info on how to join, see: http://www.ada-europe.org/info/join/
An online archive of AUJ back issues is available at
http://www.ada-europe.org/auj/archive/
The AUJ issue with the above mentioned Panel Report is at
http://www.ada-europe.org/archive/auj/auj-34-3.pdf
The report is included at pages 54-56 of that PDF.
I hope this helps.
Dirk Craeynest
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)
*** 20th Intl.Conf.on Reliable Software Technologies - Ada-Europe'2015
*** June 22-26, 2015 **** Madrid, Spain **** http://www.ada-europe.org
next prev parent reply other threads:[~2014-12-17 7:10 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-12-16 19:33 Paper Using Dynamic Memory in Safety-Critical applications Reliable Software Technologies Rego, P.
2014-12-16 20:44 ` Jacob Sparre Andersen
2014-12-17 7:10 ` Dirk Craeynest [this message]
2014-12-18 9:39 ` Rego, P.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox