Mathematics of Dependable Systems II: Based on the Proceedings of a Conference Organized by the Institute of Mathematics and Its Applications on the Mathematics of Dependable Systems, and - Couverture rigide

Stavridou, V.

 
9780198523826: Mathematics of Dependable Systems II: Based on the Proceedings of a Conference Organized by the Institute of Mathematics and Its Applications on the Mathematics of Dependable Systems, and

Synopsis

Mathematics, in the guise of formal methods, cryptography and reliability modelling amongst other topics, is increasingly seen as pivotal in the development and assessment of systems on which society depends, such as banking, medical, transport, or defence systems. This book contains the proceedings of a recent conference which aimed to facilitate the harmonization of these mathematical theories for the development of safe, secure, reliable and available computing systems.

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