Formal Techniques in Real-Time and Fault-Tolerant Systems
Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings
Mitarbeit: Vytopil, Jan
Versandkostenfrei!
Versandfertig in 1-2 Wochen
77,99 €
inkl. MwSt.
PAYBACK Punkte
39 °P sammeln!
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.
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.
Andere Kunden interessierten sich für
