Safety of Computer Control Systems, 1991 - Couverture rigide

 
9780080416977: Safety of Computer Control Systems, 1991

Synopsis

Containing 29 papers, this volume contributes to the literature published on the safety of computer systems. The papers cover all aspects - specification, development, analysis, verification, validation of hardware and software, as well as the problems involved in the reliability, availability and security of systems.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Containing 29 papers, this volume contributes to the literature published on the safety of computer systems. The papers cover all aspects - specification, development, analysis, verification, validation of hardware and software, as well as the problems involved in the reliability, availability and security of systems.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.