Title

Login

Join

Book's by Jan Vytopil

Covers

List

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

By: Jan Vytopil

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

By: Jan Vytopil

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.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

636

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540550925

ISBN 13

9783540550921

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

By: Jan Vytopil

Write a review Read reviews Take a Quiz Solve Book Puzzle

Formal Techniques in Real-Time and Fault-Tolerant Systems

Second International Symposium, Nijmegen, The Netherlands, January 8-10, 1992. Proceedings

By: Jan Vytopil

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.

Average ratings

N/A

5

0%

4

0%

3

0%

2

0%

1

0%

Solve jigsaw puzzle

Age

Page Count

636

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540550925

ISBN 13

9783540550921