Author:
Luckcuck Matt,Cavalcanti Ana,Wellings Andy
Publisher
Springer International Publishing
Reference25 articles.
1. Bogdanas, D., Roşu, G.: K-Java: a complete semantics of Java. SIGPLAN Not. 50(1), 445–456 (2015)
2. Cavalcanti, A., Sampaio, A., Woodcock, J.: Unifying classes and processes. Softw. Syst. Model. 4(3), 277–296 (2005). http://dx.doi.org/10.1007/s10270-005-0085-2
3. Cavalcanti, A., Wellings, A., Woodcock, J., Wei, K., Zeyda, F.: Safety-critical Java in circus. In: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2011, pp. 20–29. ACM, New York, NY, USA (2011). http://doi.acm.org/10.1145/2043910.2043915
4. EUROCAE and RTCA: Software Considerations in Airborne Systems and Equipment Certification. Norm ED-12C, EUROCAE (2012)
5. Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.: Failures Divergences Refinement (FDR) Version 3 (2013). www.cs.ox.ac.uk/projects/fdr/
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献