The files are stored in PDF, with the report number as filename. Alternatively, reports are available by post from the above address.
2 Abstract MAFTIA Workpackage 6 is concerned with the rigorous definition of the basic MAF-TIA concepts, and the verification and assessment of the work on dependable middle-ware. The previous MAFTIA Workpackage 6 deliverable D4 " Formal Model of Basic Concepts "  presented work addressing both strands. In this deliverable we continue our work on the… (More)
Introduction This deliverable gathers the work carried out in workpackage WP3 on the validation of dependable systems of systems. This work includes both validation carried out on models of systems and validation carried out by experiments on prototype systems. The deliverable consists of three chapters, devoted respectively to:-Validation via… (More)