Formal Techniques In Real-time And Fault-tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22

 ( Book Product ) 

This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000

• Formal Techniques In Real-time And Fault-tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, available on August 08 2015 from Indigo for 131.95
  
• ISBN bar code 9783540410553 ξ1 registered August 08 2015
  
• Product category is Book

• Sku # 978354041055
  

The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.

^ Formal Techniques In Real-time And Fault-tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, Indigo. ISBN 9783540410553 (revised Aug 2015)