๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Early Verification and Validation of Mission Critical Systems

โœ Scribed by C. Ponsard; P. Massonet; A. Rifaut; J.F. Molderez; A. van Lamsweerde; H. Tran Van

Book ID
108126428
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
815 KB
Volume
133
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Mission-Critical and Safety-Critical Sys
Mission-Critical and Safety-Critical Systems Handbook || Best Practices in Mission-Assured, Mission-Critical, and Safety-Critical Systems
โœ Fowler, Kim ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› Elsevier ๐ŸŒ English โš– 744 KB

This handbook provides a consolidated, comprehensive information resource for engineers working with mission and safety critical systems. Principles, regulations, and processes common to all critical design projects are introduced in the opening chapters. Expert contributors then offer development m

Innovative Technologies for Dependable O
Innovative Technologies for Dependable OTS-Based Critical Systems || Safety-Critical Standards for Verification and Validation
โœ Cotroneo, Domenico ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› Springer Milan ๐ŸŒ Italian โš– 182 KB

The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is attracting efforts of many word-leading European companies and SMEs in the area, and is expected to increase in the near future. The adoption of Off-The-Shelf (OTS) items plays a k