Stock image for illustration purposes only - book cover, edition or condition may vary.
Compositional Verification of Concurrent and Real-Time Systems
Juan, Eric Y.T.; Tsai, Jeffrey J. P.
€ 121.64
FREE Delivery in Ireland
Description for Compositional Verification of Concurrent and Real-Time Systems
Paperback. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 196 pages, biography. BIC Classification: MB; UYD; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 343.
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, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple ... Read more
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, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Number of pages
196
Condition
New
Series
The Springer International Series in Engineering and Computer Science
Number of Pages
196
Place of Publication
New York, NY, United States
ISBN
9781461353492
SKU
V9781461353492
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Compositional Verification of Concurrent and Real-Time Systems