X

We specialize in hard to find items

Galleon.PH - Discover, Share, Buy!
Formal Techniques in Real-Time and Fault-Tolerant
Formal Techniques in Real-Time and Fault-Tolerant
Formal Techniques in Real-Time and Fault-Tolerant
Formal Techniques in Real-Time and Fault-Tolerant

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)

Product ID : 31115418


Galleon Product ID 31115418
UPC / ISBN 3540550925
Shipping Weight 1.94 lbs
I think this is wrong?
Binding: Paperback
(see available options)
Model
Manufacturer J Vytopil
Shipping Dimension 9.45 x 6.61 x 1.02 inches
I think this is wrong?
-
Save 9%
Before ₱ 13,498
12,335

*Used item/s available.
*Price and Stocks may change without prior notice
  • 3 Day Return Policy
  • All products are genuine and original
  • Cash On Delivery/Cash Upon Pickup Available

Pay with

Formal Techniques in Real-Time and Fault-Tolerant Features

  • 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


About Formal Techniques In Real-Time And Fault-Tolerant

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.