Compositional Verification of Concurrent and Real-Time Systems

Author: Eric Y.T. Juan
Edition: 1
Binding: Kindle Edition
ISBN: B000WDVI0G

Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Get Compositional Verification of Concurrent and Real-Time Systems computer books for free.
Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects. It is essential, therefore, that software used for safety-critical systems preserves high assurance properties.

Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance Check Compositional Verification of Concurrent and Real-Time Systems our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.

Compositional Verification of Concurrent and Real-Time Systems Download

Since many of the software systems support or supplant human control of safety-critical systems (such as those found in flight control, space shuttle control, aircraft avionics, robotics, patient monitoring devices and nuclear power plants), failure of such systems could have disastrous effects

Compositional Verification of Concurrent and Real-Time Systems introduces important modeling and formal verification techniques for verifying the reliability and correctness of high-assurance

Related Computer Books