free counter statistics

Formal Techniques In Real Time And Fault Tolerant Systems

ISBN 10 : 9781461532200
ISBN 13 : 1461532205

Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems...


Formal Techniques In Real Time And Fault Tolerant Systems

ISBN 10 : 3540650032
ISBN 13 : 9783540650034

This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, ..


Formal Techniques In Real Time And Fault Tolerant Systems

ISBN 10 : 3540616489
ISBN 13 : 9783540616481

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, S..



Formal Techniques In Real Time And Fault Tolerant Systems

ISBN 10 : 9783540457398
ISBN 13 : 3540457399

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 University of Oldenburg, ..


Formal Techniques In Real Time And Fault Tolerant Systems

ISBN 10 : 3540584684
ISBN 13 : 9783540584681

This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably ..