Author:
Miyazawa Alvaro,Cavalcanti Ana
Publisher
Springer International Publishing
Reference19 articles.
1. Miyazawa, A., Cavalcanti, A.: Report on refinement strategies for Safety-Critical Java (2015).
http://www-users.cs.york.ac.uk/~alvarohm/report2015b.pdf
2. Burdy, L., et al.: An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7(3), 212–232 (2005)
3. Cavalcanti, A., Sampaio, A., Woodcock, J.: Unifying classes and processes. Softw. Syst. Model. 4(3), 277–296 (2005)
4. Cavalcanti, A.L.C., Clayton, P., O’Halloran, C.: From control law diagrams to Ada via Circus. Formal Aspects Comput. 23(4), 465–512 (2011)
5. Cavalcanti, A.L.C., et al.: Safety-Critical Java programs from Circus models. Real-Time Syst. 49(5), 614–667 (2013)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Java in the Safety-Critical Domain;Engineering Trustworthy Software Systems;2017