Mathematics of Dependable Systems: Based on the Proceedings of a Conference on Mathematics of Dependable Systems

Mathematics of Dependable Systems: Based on the Proceedings of a Conference on Mathematics of Dependable Systems

by Christopher J. Mitchell
     
 


Dependable systems is all about setting up controls to ensure maximum security, reliability, and safety in engineering and technology. With the increased use of computerized controls in airliners, manufacturing plants, and nuclear power stations, the topic is a significant one for computer scientists and engineers. These are the edited proceedings of the first… See more details below

Overview


Dependable systems is all about setting up controls to ensure maximum security, reliability, and safety in engineering and technology. With the increased use of computerized controls in airliners, manufacturing plants, and nuclear power stations, the topic is a significant one for computer scientists and engineers. These are the edited proceedings of the first international conference on the Mathematics of Dependable Systems, which took place at Royal Holloway, University of London in 1993. The goal of the conference was to identify unifying mathematical schemes for safety and security to enable interaction of ideas from different fields. Contributions from active researchers focus on safety-critical systems, software testing and reliability, computer security, entity authentication, formal methods, and fault tolerance.

Product Details

ISBN-13:
9780198534914
Publisher:
Oxford University Press, USA
Publication date:
08/10/1995
Series:
Institute of Mathematics and its Applications Conference Series, New Series, #55
Pages:
312
Product dimensions:
6.38(w) x 9.50(h) x 0.90(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >