High Integrity Java Applications

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/06/04 → 31/08/08

Safety-Critical Java in Circus
Cavalcanti, A. L. C., Wellings, A., Woodcock, J., Wei, K. & Zeyda, F., 2011, 9th Workshop on Java Technologies for Real-Time and Embedded System. p. 20-29 10 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Safety-Critical Java Memory Model: A Formal Account
Cavalcanti, A., Wellings, A. J. & Woodcock, J., 2011, FM 2011: 17th International Symposium of Formal Methods. Vol. 6664 LNCS. p. 246-261 16 p. (Lecture Notes in Computer Science; vol. 6664).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
The Safety-critical Java Mission Model: a formal account
Zeyda, F., Cavalcanti, A. L. C. & Wellings, A., 2011, International Conference on Formal Engineering Methods. Vol. 6991 LNCS. p. 49-65 17 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Project Details