Compositional Verification of Concurrent and Real-Time Systems by Eric Y.T. Juan, Jeffrey J.P. Tsai.
With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, a...
Full description
Saved in: