Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science 571)

Vytopil, J. (ed.)

ISBN 10: 0387550925 / ISBN 13: 9780387550923

Published by Springer-Verlag, Berlin, 1992

About this Item

Lecture Notes in Computer Science 571; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG.

Seller Inventory # 094448

Bibliographic Details

• Title: Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science 571)
• Publisher: Springer-Verlag, Berlin
• Publication Date: 1992
• Language: English
• ISBN 10: 0387550925
• ISBN 13: 9780387550923
• Binding: Paperback
• Condition: Very Good
• Dust Jacket Condition: No Dust Jacket
• Book Type: Ex-Library
• Seller catalogs:
  • Computers & Technology (incl. AI)

About this title

Synopsis

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 well the 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 fault hypotheses, - 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 new insights in recent years, and these are presented in this book.