Circus Models for Safety-Critical Java Programs

Frank Zeyda, L Lalkhumsanga, Ana Lucia Caneca Cavalcanti, Andrew John Wellings

Computer Science

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

1 results

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