The Safety-Critical Java Memory Model Formalised

Ana Lucia Caneca Cavalcanti, Andy Wellings, Jim Woodcock

Computer Science

Research output: Contribution to journal › Article › peer-review

1 Finished

1 results

Finished

hiJaC: HIJAC: High-Integrity Java applications using circus
CAVALCANTI, A. L. C. (Principal investigator), WELLINGS, A. (Co-investigator) & Woodcock, J. C. P. (Co-investigator)
EPSRC
22/06/10 → 30/10/15
Project: Research project (funded) › Research