Java for safety-critical applications (2009)

by T Henties, J J Hunt, D Locke, K Nilsen, M Schoeberl, J Vitek
Venue:In 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009