Design and safety assessment of critical systems. (©2011)

• Record Type: Book
• Further Information: Note: Marco Bozzano, Adolfo Villafiorita.
• Other Names: Bozzano, Marco; Villafiorita, Adolfo
• Contents: 1. Introduction -- 2. Dependability, reliability, and safety assessment -- 3. Techniques for safety assessment -- 4. Development of safety-critical applications -- 5. Formal methods for safety assessment -- 6. Formal methods for certification.
• Publisher Details: Boca Raton, FL : Auerbach Publications
• Publication Date: 2011
• Copyright Date: 2011
• Extent: 1 online resource (xvii, 279 pages), illustrations
• Subjects: 620.8/6; Industrial safety; Engineering; TECHNOLOGY & ENGINEERING -- Industrial Health & Safety; Industrial safety; Electronic books
• Languages: English
• ISBNs: 9781439803325; 1439803323
• Related ISBNs: 9781439803318; 1439803315
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.