Formal Techniques in Real-Time and Fault-Tolerant Systems - Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings (Paperback, 1991 ed.)

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 solutions in safety-critical system design and examine how wellthe use of formal techniques for design, analysis and verification serves in relating theory to practical realities. The book contains papers on real-time and fault-tolerance issues. Formal logic, process algebra, and action/event models are applied: - to specify and model qualitative and quantitative real-time and fault-tolerant behavior, - to analyze timeliness requirements and consequences of faulthypotheses, - to verify protocols and program code, - to formulate formal frameworks for development of real-time and fault-tolerant systems, - to formulate semantics of languages. The integration and cross-fertilization of real-time and fault-tolerance issues have brought newinsights in recent years, and these are presented in this book.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 571
Release date:	December 1991
First published:	1991
Editors:	Jan Vytopil
Dimensions:	235 x 155 x 32mm (L x W x T)
Format:	Paperback
Pages:	628
Edition:	1991 ed.
ISBN-13:	978-3-540-55092-1
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Science & Mathematics > Mathematics > Applied mathematics > General Promotions
LSN:	3-540-55092-5
Barcode:	9783540550921

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!