Band 571
Formal Techniques in Real-Time and Fault-Tolerant Systems Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992, Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Hardcover
- Taschenbuch ausgewählt
-
Sprache:Englisch
-
Verlag:Springer Berlin
- Springer Us Fr. 191.00
- Springer Berlin Fr. 137.00 ausgewählt
-
Auflage:1991
- 1994 Fr. 137.00
- 1991 Fr. 137.00 ausgewählt
Fr. 137.00
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
11.12.1991
Herausgeber
Jan VytopilVerlag
Springer BerlinSeitenzahl
628
Maße (L/B/H)
23.5/15.5/3.4 cm
Gewicht
1060 g
Auflage
1991
Sprache
Englisch
ISBN
978-3-540-55092-1
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.
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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung