You need to sign in or sign up before continuing.

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

490 pages paperback

7 editions

nonfiction computer science health science medium-paced
More Options

Read With Others

Book Information

Powered by AI (Beta)
Loading...

Description

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996.The 22 revised full papers presented were ...

Show More

Community Reviews

Loading...

Content Warnings

Loading...