| http://www.w3.org/ns/prov#value | - The book introduces methods and tools adopted by the critical systems industry, and surveys key achievements of the CRITICAL STEP project along four directions: fault injection tools, V&V of critical systems, runtime monitoring and evaluation techniques, and security assessment.The demand for large-scale dependable, systems, such as Air Traffic Management, industrial plants and space systems, is
|
