Java for safety-critical applications (2009)

by Thomas Henties, James J Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, Jan Vitek
Venue:In 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009