Cover Image

Methods, Models and Tools for Fault Tolerance

The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods toge...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Butler, Michael. (Editor), Jones, Cliff. (Editor), Romanovsky, Alexander. (Editor), Troubitsyna, Elena. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5454
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Operating systems (Computers).
Artificial intelligence.
Computer Science.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Operating Systems.
Artificial Intelligence (incl. Robotics).
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-00867-2

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-00867-2

Similar Items