SULJE VALIKKO

avaa valikko

Formal Techniques in Real-Time and Fault-Tolerant Systems - Second International Symposium, Nijmegen, The Netherlands, January 8
97,90 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 628 sivua
Asu: Pehmeäkantinen kirja
Painos: 1991
Julkaisuvuosi: 1991, 11.12.1991 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 571
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Techniques in Real-Time and Fault-Tolerant Systems - Second International Symposium, Nijmegen, The Netherlands, January 8zoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste