The Safety-Critical Java Memory Model: A Formal Account

Ana Cavalcanti, Andy J. Wellings, Jim Woodcock

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 results

Filter

Finished

hiJaC: HIJAC: High-Integrity Java applications using circus
Cavalcanti, A. L. C., Wellings, A. J. & Woodcock, J.
EPSRC
22/06/10 → 30/10/15
Project: Research project (funded) › Research
High Integrity Java Applications
Wellings, A. J.
EUROPEAN COMMISSION
1/06/04 → 31/08/08
Project: Research project (funded) › Research