Author:
Baxter James,Cavalcanti Ana
Publisher
Springer International Publishing
Reference31 articles.
1. Armbruster, A., Baker, J., Cunei, A., et al.: A real-time Java virtual machine with applications in avionics. ACM Trans. Embed. Comput. Syst. 7(1), 5:1–5:49 (2007)
2. Baxter, J.: An Approach to verification of Safety-Critical Java Virtual Machines with Ahead-of-time compilation. Technical report, University of York (2017).
www-users.cs.york.ac.uk/~jeb531/2017report.pdf
3. Baxter, J., Cavalcanti, A., Wellings, A., Freitas, L.: Safety-critical Java virtual machine services. In: JTRES 2015, pp. 7:1–7:10. ACM (2015)
4. Lecture Notes in Computer Science;S Blazy,2006
5. Cavalcanti, A., Wellings, A., Woodcock, J., Wei, K., Zeyda, F.: Safety-critical Java in circus. In: JTRES 2011, pp. 20–29. ACM (2011)