Formal Techniques in Real-Time and Fault-Tolerant Systems - 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings (Paperback, 1996 ed.)

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 selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1135
Release date:	August 1996
First published:	1996
Editors:	Bengt Jonsson • Joachim Parrow
Dimensions:	235 x 155 x 25mm (L x W x T)
Format:	Paperback
Pages:	490
Edition:	1996 ed.
ISBN-13:	978-3-540-61648-1
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design
LSN:	3-540-61648-9
Barcode:	9783540616481

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!