Java for safetycritical applications (2009)

by T HENTIES, J J HUNT, D LOCKE, K NILSEN, M SCHOEBERL, J VITEK
Venue:In Proceedings of the 2nd International Workshop on the Certification of SafetyCritical Software Controlled Systems (SafeCert’09