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 ...
Read More
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.
Read Less
Add this copy of Mathematics of Dependable Systems (the Institute of to cart. $20.75, very good condition, Sold by Midtown Scholar Bookstore rated 5.0 out of 5 stars, ships from Harrisburg, PA, UNITED STATES, published 1995 by Oxford University Press.
Add this copy of Mathematics of Dependable Systems (the Institute of to cart. $22.36, like new condition, Sold by Daedalus Books rated 5.0 out of 5 stars, ships from Portland, OR, UNITED STATES, published 1995 by Oxford University Press, Incorporated.
Add this copy of Mathematics of Dependable Systems (the ^Ainstitute of to cart. $52.25, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1995 by Oxford University Press.
