Related Books
Language: en
Pages: 636
Pages: 636
Type: BOOK - Published: 1991-12-11 - Publisher: Springer Science & Business Media
This book presents state-of-the-art research results in the area of formal methods for real-time and fault-tolerant systems. The papers consider problems and so
Language: en
Pages: 356
Pages: 356
Type: BOOK - Published: 1998-09-02 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held
Language: en
Pages: 438
Pages: 438
Type: BOOK - Published: 2002-08-28 - Publisher: Springer Science & Business Media
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the Unive
Language: en
Pages: 500
Pages: 500
Type: BOOK - Published: 1996-08-21 - Publisher: Springer Science & Business Media
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96
Language: en
Pages: 244
Pages: 244
Type: BOOK - Published: 1988-09-14 - Publisher: Springer Science & Business Media
This book is based on material from current research projects and cooperations and from a recent workshop in the area of Knowledge Base Management Systems. It c