High Integrity Java Applications

Research output

Research output per year 2011 2011 2011

• 3 Conference contribution

Research output per year

Research output per year

Search results

• 2011

  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