Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings

314 pages paperback

7 editions

nonfiction computer science health science medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested soft...

Show More

Community Reviews

Loading...

Content Warnings

Loading...