Coverart for item
The Resource Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.)

Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.)

Label
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
Title
Formal techniques in real-time and fault-tolerant systems
Title remainder
second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings
Statement of responsibility
J. Vytopil (ed.)
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Cataloging source
SCPER
Dewey number
004/.33
Illustrations
illustrations
Index
no index present
LC call number
QA76.54
LC item number
.F66 1991
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1947-
http://library.link/vocab/relatedWorkOrContributorName
Vytopil, J.
Series statement
Lecture notes in computer science
Series volume
571
http://library.link/vocab/subjectName
  • Real-time data processing
  • Fault-tolerant computing
  • Fault-tolerant computing
  • Real-time data processing
Label
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
321283831
Dimensions
unknown
Extent
1 online resource (ix, 620 pages)
Form of item
online
Isbn
9783540466925
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321283831
Label
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings, J. Vytopil (ed.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
321283831
Dimensions
unknown
Extent
1 online resource (ix, 620 pages)
Form of item
online
Isbn
9783540466925
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)321283831

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...