Visit our Christmas Gift Finder
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 (Paperback)
  • 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 (Paperback)
zoom

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 (Paperback)

(editor)
£103.50
Paperback 628 Pages / Published: 11/12/1991
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540550921
Number of pages: 628
Weight: 1950 g
Dimensions: 235 x 155 x 32 mm
Edition: 1991 ed.

You may also be interested in...

IT Architecture For Dummies
Added to basket
Business Analysis Techniques
Added to basket
Elemental Design Patterns
Added to basket
NEUTRABAS
Added to basket
£49.99
Paperback
Developing Analytic Talent
Added to basket
Information Systems Development
Added to basket
The Computer and the Brain
Added to basket
The Mythical Man-Month
Added to basket
Developing Information Systems
Added to basket
US For Beginners
Added to basket
£23.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.