Certifications of Critical Systems - the CECRIS Experience
| Other author | Bondavalli, Andrea Editor |
| Other author | Brancati, Francesco Editor |
| Format | Electronic |
| Publication Info | Gistrup : River Publishers Herndon : Stylus Publishing, LLC [Distributor] |
| Description | 312 p. 23.400 x 015.600 cm. |
| Supplemental Content | Full text available from Taylor & Francis eBooks |
| Subjects |
| Series | River Publishers Series in Information Science and Technology Ser. |
| Summary | Annotation In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact. This book documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9788793519565 |
| ISBN | 8793519567 (Trade Cloth) Active Record |
| Standard identifier# | 9788793519565 |
| Stock number | 01800237 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |