COST Action Proposal Wiki Draft: Rich-Model Toolkit: An Infrastructure for Reliable Computer Systems
Note: This version does not incorporate some minor last-minute changes, please see a PDF file instead.
Part I
B. BACKGROUND
C. OBJECTIVE AND BENEFITS
D. SCIENTIFIC PROGRAMME
E. ORGANIZATION
H. DISSEMINATION PLAN