The market for safe, secure and reliable computer systems is expanding continuously and these Proceedings provide an opportunity to review the growth during the last decade and identify skills and technologies required for continued development in the area. The papers cover the experiences gained from specifying, creating, operating, and licensing computers in safety, security and reliability related applications. There are reviews of guidelines and industrial applications, with a section covering methods and tools used in designing, documenting, analysing, testing and assessing systems dependent on the SAFECOMP factors.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● ISBN 9781483298351 ● Editor B.K. Daniels ● Editura Elsevier Science ● Publicat 2014 ● Descărcabil 3 ori ● Valută EUR ● ID 5737621 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM