The Safety-critical Java Mission Model: a formal account

Frank Zeyda, Ana Lucia Caneca Cavalcanti, Andy Wellings

Computer Science

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

1 results

Filter

Finished

High Integrity Java Applications
Wellings, A. J.
EUROPEAN COMMISSION
1/06/04 → 31/08/08
Project: Research project (funded) › Research