[1] Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek: Developing Safety-Critical Applications with Java, In JTRES 2010. August 2010.
[2] Daniel Tang, Ales Plsek, Jan Vitek: Static Verification of Safety-Critical Java Application, In JTRES 2010. August 2010.
[3] Developing SafetyCritical Applications with Java.
Lei Zhao, Daniel Tang, Veysel H. Sahin, Tomas Kalibera, Ales Plsek, Jan Vitek
Submitted, March 2010.

[4] oSCJ: Open Safety-Critical Java Project, White Paper, In Computer-Science Department Annual Report, Purdue University, January 2010.


[1] A Technology Compatibility Kit for Safety Critical Java. Lei Zhao, Daniel Tang, Jan Vitek. JTRES 2009.
[2] Java for Safety-Critical Applications , James J. Hunt, Doug Locke, Kelvin Nilsen, Martin Schoeberl, Jan Vitek, at SAFECERT 2009

Disclaimer: The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.